margin: 0;\r
}\r
\r
-/* JS facilities */
-
+/* JS facilities */\r
+\r
input[type=text] {\r
width: 150px;\r
border: 1px solid #CCC;\r
- margin-right: 5px;
+ margin-right: 5px;\r
padding: 1px 2px;\r
-}
-
+}\r
+\r
input[type=text].notUsed {\r
color: #999;\r
font-style: italic;\r
}\r
-
+\r
nav .filter {\r
text-align: center;\r
padding: 5px;\r
-}
-
-nav.main input[type=text] {
- margin: -2px 10px;
- color: black;
- font-style: normal;
-}
-
-nav.main form {
- float: right;
+}\r
+\r
+nav.main input[type=text] {\r
+ margin: -2px 10px;\r
+ color: black;\r
+ font-style: normal;\r
+}\r
+\r
+nav.main form {\r
+ float: right; \r
}\r
\r
.filter a {\r
color: #0D8921;\r
cursor: pointer;\r
font-family: monospace;\r
- margin-right: 5px;
+ margin-right: 5px;\r
font-weight: bold;\r
}\r
\r
.filter a.hidden {\r
- color: #999;
+ color: #999;\r
font-weight: normal;\r
-}
-
+}\r
+\r
.filter a:hover {\r
text-decoration: underline;\r
}\r
background-color: #FFFFFF;\r
border: 1px solid #E0E0E0;\r
border-spacing: 0px;\r
- z-index: 10; /* the menu must be over the rest of the page. */
+ z-index: 10; /* the menu must be over the rest of the page. */\r
}\r
\r
#searchTable .activeSearchResult {\r