+
+// See HeaderRowFixer in application.js
+table.table-fixed-header-row {
+ width: 100%;
+ border-spacing: 0px;
+ margin:0;
+}
+table.table-fixed-header-row thead {
+ position:fixed;
+ background: #fff;
+}
+table.table-fixed-header-row tbody {
+ position:relative;
+ top:1.5em;
+}
+
+/* Setting the height needs to be fixed with javascript. */
+.dropdown-menu {
+ padding-right: 20px;
+ max-height: 440px;
+ width: 400px;
+ overflow-y: auto;
+}
+