This way it also applies to the paraslash logo. Without this, old
mozilla browsers show a margin around the image, which looks ugly.
border-top: 1px solid yellow;
}
border-top: 1px solid yellow;
}
+img {
+ float: right;
+ border-width: 0px;
+}
+
caption { font-weight: bold }
/* doxgen */
caption { font-weight: bold }
/* doxgen */
margin: 0px 2px 0px 2px;
}
margin: 0px 2px 0px 2px;
}
-img.logo {
- float: right;
- border-width: 0px;
-}
-
div.page_header {
padding: 8px;
font-size: 120%;
div.page_header {
padding: 8px;
font-size: 120%;