diff options
| -rw-r--r-- | doc/build/templates/toc.html | 1 | ||||
| -rw-r--r-- | doc/docs.css | 51 | ||||
| -rw-r--r-- | doc/style.css | 29 |
3 files changed, 39 insertions, 42 deletions
diff --git a/doc/build/templates/toc.html b/doc/build/templates/toc.html index 0d8f4ca4c..529dc8b44 100644 --- a/doc/build/templates/toc.html +++ b/doc/build/templates/toc.html @@ -7,7 +7,6 @@ <h3>Table of Contents</h3> <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 21972a034..720195d64 100644 --- 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 314d52d83..b08e94142 100644 --- 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; } |