Let doc font sizes adapt to browser prefs (experimental)

diff --git a/doc/build/templates/toc.html b/doc/build/templates/toc.html
index 0d8f4ca4cac38c7a35737dca6de84cb540e48d69..529dc8b443980625d41908ce3bd4bb7cc79bd49a 100644 (file)
--- a/doc/build/templates/toc.html
+++ b/doc/build/templates/toc.html
@@ -7,7 +7,6 @@
        <h3>Table of Contents</h3>
        &nbsp;&nbsp;
        <a href="#full_index" class="totoc">(view full table)</a>
-       <br/><br/>
        ${printtoc(root=toc,paged=paged, extension=extension, current=None,children=False,anchor_toplevel=False)}
 
        <a name="full_index"></a>

diff --git a/doc/docs.css b/doc/docs.css
index 21972a0341128339d2a4b3fc6a28d1f6e1df21eb..720195d6425d801d8b052924b2a5e093cae470f5 100644 (file)
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -16,12 +16,12 @@ pre {
 }
 
 .prevnext {
-       padding: 5px 0px 0px 0px;
+    padding: 5px 0px 0px 0px;
+    font-size: 0.8em
 }
 
 .codetitle {
        font-family: verdana, sans-serif;
-       font-size: 12px;
        font-weight: bold;
        text-decoration:underline;
        padding:5px;
@@ -29,7 +29,8 @@ pre {
 
 .codeline {
        font-family: courier, "courier new", serif;
-       font-size:1.1em;
+  font-family: "Deja Vu Sans Mono", "Vera Sans Mono", Courier, "Courier New", fixed;
+       font-size: 1em;
     color: #960;
 }
 
@@ -46,24 +47,24 @@ h1 {
 
 h2 {
     font-family:arial,helvetica,sans-serif;
-    font-size:20px;
+    font-size: 1.6em;
     font-weight:normal;
-    line-height:24px;
+    line-height: 1.6em;
     margin:0px;
 }
 
 h3 {
     font-family: arial, sans-serif;
-    font-size:16px;
+    font-size: 1.4em;
     font-weight:bold;
 }
 
 .topnav h3 {
        font-weight: bold;
-       font-size: 16px;
+       font-size: 1.4em;
        margin:0px;
        display:inline;
-    font-family:verdana,sans-serif;    
+        font-family:verdana,sans-serif;
 }
 
 .topnav h2 {
@@ -93,7 +94,7 @@ h3 {
 
 
 .topnav li {
-   font-size:12px;
+   font-size: 1em;
    list-style-type:none;
    padding:0px 0px 3px 8px;
    margin:0px;
@@ -104,26 +105,30 @@ h3 {
 }
 
 .topnav ul ul li {
-   font-size: 11px;
+   font-size: 0.9em;
 }
 
 .bottomnav {
     background-color:#FBFBEE;
     border:1px solid #CCCCCC;
     float:right;
-    margin:0px 0px 15px 5px;
+    margin: 1em 0 1em 5px;
     padding:10px;
 }
 
 .toclink {
     font-weight: bold;
-       font-size: 12px;
+       font-size: 1em;
        padding:0px 0px 3px 8px;
        /*border:1px solid;*/
 }
 
+.totoc {
+    font-size: smaller;
+}
+
 .smalltoclink {
-       font-size: 11px;
+       font-size: 0.9em;
        padding:0px 0px 3px 0px;
 }
 
@@ -134,7 +139,6 @@ h3 {
 }
 
 .darkcell {
-    /*font-family: courier, "courier new", serif;*/
        margin:0px 0px 10px 0px;
        padding:4px 4px 4px 4px;
        background-color: #f0f0f0;      
@@ -142,8 +146,7 @@ h3 {
 }
 
 .sliding_code {
-       font-family: courier, "courier new", serif;
-       font-size:12px;
+        font-family: "Deja Vu Sans Mono", "Vera Sans Mono", "Monaco", Courier, "Courier New", fixed;
        background-color: #f0f0f0;      
        border: solid 1px #ccc;
        padding:10px;
@@ -151,9 +154,14 @@ h3 {
        overflow:auto;
 }
 
+code {
+    font-family: "Deja Vu Sans Mono", "Vera Sans Mono", Courier, "Courier New", fixed;
+    font-size: 0.95em;
+    color: #222;
+}
+
 .code {
-       font-family: courier, "courier new", serif;
-       font-size:12px;
+        font-family: "Deja Vu Sans Mono", "Vera Sans Mono", Courier, "Courier New", fixed;
        background-color: #f0f0f0;      
        border: solid 1px #ccc;
        padding:10px; /*2px 2px 2px 10px;*/
@@ -163,12 +171,13 @@ h3 {
 
 .codepop
 {
-       font-family: courier, "courier new", serif;
+        font-family: "Deja Vu Sans Mono", "Vera Sans Mono", Courier, "Courier New", fixed;
+        font-size: 0.75em;
        color:#000;
        background-color: #fbfbee;
        border: 1px solid #d9d9d9;
        border-right: 1px solid #999;
-       border-bottom: 1px solid #999;          
+       border-bottom: 1px solid #999;
        padding:10px;
        width:95%;
        /*margin:5px 10px 5px 0px;*/
@@ -181,7 +190,7 @@ h3 {
        font-weight:normal;
        font-family: arial, sans-serif;
     text-transform: uppercase;
-       font-size:11px;
+       font-size: 0.9em;
        color:#666;
        border:1px solid;
        padding:1px 2px 1px 2px;

diff --git a/doc/style.css b/doc/style.css
index 314d52d83e7ecf626405722d8ab4d1ddb3cb5d49..b08e94142179d73af2e4b86e590038e0ea4bdf8a 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -1,6 +1,5 @@
 body, td, .normaltype {
        font-family: verdana, sans-serif;
-       font-size: 12px;
 }
 
 body {
@@ -49,29 +48,19 @@ strong a {
 }
 
 .headerbar {
-       padding-bottom:60px;
+       padding-bottom: 60px;
 }
-       
+
 .header {
        font-weight: bold;
-       font-size: 20px;
+       font-size: 1.6em;
 }
 
 .smallheader {
        font-weight: bold;
-       font-size: 16px;
+       font-size: 1.4em;
 }
 
-.filelist {
-       font-size:14px;
-       margin: 10px 10px 10px 70px;
-       line-height:25px;
-}
-
-.dirheader {
-       font-size:13px;
-       margin: 10px 50px 10px 20px
-}
 
 .toolbar {
        text-align:right;
@@ -81,12 +70,12 @@ strong a {
 .copyright {
        padding-top: 30px;
        text-align:center;
-       font-size:9px;
+       font-size: 0.8em;
        color: #5F5F5F;
 }
 
 .small {
-       font-size:9px;
+       font-size: 0.8em;
 }
 
 .sforgelogo {
@@ -95,8 +84,8 @@ strong a {
 }
 
 .source {
-       border:1px solid;
-       padding:10px;
-       width:auto;
+       border: 1px solid;
+       padding: 10px;
+       width: auto;
 }