IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2026-09-03 20:52:55 -05:00
Code Issues Packages Projects Releases Wiki Activity

Don't use fixed font names, only generic ones like "sans-serif".

Browse Source
This commit is contained in:
Georg Brandl
2007-08-21 06:16:00 +00:00
parent 656f99e7b8
commit a84bedff72
2 changed files with 6 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sphinx/style/default.css
+3 -5
View File
@@ -3,7 +3,7 @@
*/ */
body { body {
font-family: 'Bitstream Vera Sans', 'Arial', sans-serif; font-family: sans-serif;
font-size: 13px; font-size: 13px;
background-color: #11303d; background-color: #11303d;
color: #000; color: #000;
@@ -143,7 +143,7 @@ div.sidebar form {
div.sidebar input { div.sidebar input {
border: 1px solid #98dbcc; border: 1px solid #98dbcc;
font-family: 'Bitstream Vera Sans', 'Arial', sans-serif; font-family: sans-serif;
font-size: 1em; font-size: 1em;
} }
@@ -702,7 +702,6 @@ th {
} }
pre { pre {
font-family: 'Bitstream Vera Sans Mono', monospace;
padding: 5px; padding: 5px;
background-color: #efc; background-color: #efc;
color: #333; color: #333;
@@ -712,7 +711,6 @@ pre {
} }
tt { tt {
font-family: 'Bitstream Vera Sans Mono', monospace;
background-color: #ecf0f3; background-color: #ecf0f3;
padding: 0 1px 0 1px; padding: 0 1px 0 1px;
} }
@@ -764,7 +762,7 @@ form.comment input,
form.comment textarea { form.comment textarea {
border: 1px solid #ccc; border: 1px solid #ccc;
padding: 2px; padding: 2px;
font-family: 'Bitstream Vera Sans', 'Verdana', sans-serif; font-family: sans-serif;
font-size: 13px; font-size: 13px;
} }
sphinx/style/traditional.css
+3 -3
View File
@@ -606,7 +606,7 @@ th {
} }
pre { pre {
font-family: 'Bitstream Vera Sans Mono', monospace; font-family: monospace;
padding: 5px; padding: 5px;
color: #00008b; color: #00008b;
border-left: none; border-left: none;
@@ -614,7 +614,7 @@ pre {
} }
tt { tt {
font-family: 'Bitstream Vera Sans Mono', monospace; font-family: monospace;
background-color: #ecf0f3; background-color: #ecf0f3;
padding: 0 1px 0 1px; padding: 0 1px 0 1px;
} }
@@ -666,7 +666,7 @@ form.comment input,
form.comment textarea { form.comment textarea {
border: 1px solid #ccc; border: 1px solid #ccc;
padding: 2px; padding: 2px;
font-family: 'Bitstream Vera Sans', 'Verdana', sans-serif; font-family: sans-serif;
font-size: 13px; font-size: 13px;
} }