}
#head {
- height: 72px;
+ height: 62px;
border-top: 5px solid #DECD40;
border-bottom: 1px solid #AF9D00;
background: url(logo-head.png) top left no-repeat;
#head h2 {
margin: 0 0 0 100px;
- padding: 6px 0 0 42px;
- height: 26px;
+ padding: 4px 0 0 42px;
+ height: 18px;
background-color: #EDE497;
color: #726921;
font-size: 13px;
}
#search {
- position: absolute;
- top: 50px;
- right: 10px;
+ float: right;
+ width: 150px;
+ height: 39px;
+ font-size: 10px;
+ /* margin/padding/color/background-color/border: mostly IE6/IE7 fixes */
+ margin: 0 0 0 -10px;
+ padding: 0 10px 0 10px;
+ color: #726921;
+ background-color: #DECD40;
+ border-bottom: 1px solid #AF9D00;
+}
+
+#search input {
+ display: block;
+ height: 16px;
+ border: 1px solid #AF9D00;
+ width: 100%;
+}
+
+#search form {
+ margin: 0;
+ padding: 0;
}
#content1 {
}
a.anchor {
- color: inherit;
- background-color: white !important;
+ color: inherit;
+ background-color: white !important;
}
div.tabs {
}
div.bug, div.fixme, div.todo, div.idea {
- padding-left: 10px;
+ padding-left: 10px;
}
div.bug {
- border-left: 10px solid red;
+ border-left: 10px solid red;
}
div.fixme {
- border-left: 10px solid yellow;
+ border-left: 10px solid yellow;
}
div.todo {
- border-left: 10px solid green;
+ border-left: 10px solid green;
}
div.idea {
- border-left: 10px solid #AAAAAA;
+ border-left: 10px solid #AAAAAA;
}
table {
table.glossary {
border: none;
border-spacing: 0;
- margin: 10px 0;
+ margin: 10px 0;
}
table.glossary tr td {
table.members td:first-child {
width: 35%;
-}
\ No newline at end of file
+}
+
+/* \f
+ * Local Variables:
+ * indent-tabs-mode: nil
+ * ispell-local-dictionary: "american"
+ * End:
+ */