border-top: 1px solid yellow;
}
+img {
+ float: right;
+ border-width: 0px;
+}
+
caption { font-weight: bold }
/* doxgen */
margin: 0px 2px 0px 2px;
}
-img.logo {
- float: right;
- border-width: 0px;
-}
-
div.page_header {
padding: 8px;
font-size: 120%;