Adjust some fonts and colors.
authorGerald Combs <gerald@wireshark.org>
Wed, 29 May 2013 17:58:01 +0000 (17:58 -0000)
committerGerald Combs <gerald@wireshark.org>
Wed, 29 May 2013 17:58:01 +0000 (17:58 -0000)
svn path=/trunk/; revision=49621

docbook/ws.css

index 3631c80a2c68cdd8cb3c0bb499e2177a90892dbf..b97fdc8c15966ffd6925baf45d32ae2d16af52ee 100644 (file)
@@ -16,6 +16,7 @@ body blockquote {
 html body {
   margin: 1em 5% 1em 5%;
   line-height: 1.2;
+  font-family: "Times New Roman", Times, serif;
 }
 
 body div {
@@ -28,8 +29,8 @@ div.list-of-figures p b,
 div.list-of-tables p b,
 div.abstract p.title
 {
-  color: #1f3b5e;
-  font-family: Arial, Helvetica, sans-serif;
+  color: #004698;
+  font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
 }
 
 div.toc p:first-child,
@@ -60,10 +61,10 @@ div.footnotes hr {
 }
 
 div.navheader th, div.navheader td, div.navfooter td {
-  font-family: Arial, Helvetica, sans-serif;
+  font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
   font-size: 0.9em;
   font-weight: bold;
-  color: #1f3b5e;
+  color: #004698;
 }
 div.navheader img, div.navfooter img {
   border-style: none;
@@ -106,6 +107,11 @@ body pre {
   color: 333;
 }
 
+pre, tt, code {
+  font-family: Menlo, Consolas, "Bitstream Vera Sans Mono", "Liberation Mono", monospace;
+  font-size: 0.9em;
+}
+
 tt.literal, code.literal {
   color: 333;
 }
@@ -126,7 +132,7 @@ div.sidebar {
 div.sidebar * { padding: 0; }
 div.sidebar div { margin: 0; }
 div.sidebar p.title {
-  font-family: Arial, Helvetica, sans-serif;
+  font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
   margin-top: 0.5em;
   margin-bottom: 0.2em;
 }
@@ -186,7 +192,7 @@ div.revhistory table {
 div.revhistory th {
   border: none;
   color: #1f3b5e;
-  font-family: Arial, Helvetica, sans-serif;
+  font-family: "Bitstream Vera Sans", "DejaVu Sans", Helvetica, Arial, sans-serif;
 }
 div.revhistory td {
   border: 1px solid silver;