changeset 24:fa3f28226730

styled the toc and pre blocks
author Radomir Dopieralski <devel@sheep.art.pl>
date Sun, 18 May 2008 03:15:54 +0200
parents db3a9f4e19b3
children e33b7b13663e
files css/common.css
diffstat 1 files changed, 39 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/css/common.css	Sun May 18 02:31:46 2008 +0200
+++ b/css/common.css	Sun May 18 03:15:54 2008 +0200
@@ -55,7 +55,6 @@
 	border: 1px solid #aaaa79;
 	background-color: #ffffcc;
 	padding: 5pt;
-	font-family: courier, monospace;
 	white-space: pre;
 	/* begin css 3 or browser specific rules - do not remove!
 	see: http://forums.techguy.org/archive/index.php/t-249849.html */
@@ -65,6 +64,9 @@
     white-space: -pre-wrap;
     white-space: -o-pre-wrap;
     /* end css 3 or browser specific rules */
+    border-radius: 0.33em;
+    -moz-border-radius: 0.33em;
+    font-family: "dejavu sans mono", "lucida console", "consolas", monospace;
 }
 
 pre.comment {
@@ -113,17 +115,38 @@
 
 /* TableOfContents macro */
 .table-of-contents { 
-    background: #ffffcc;
-    border: 1px solid #aaaa79;
-                     font-size: small;
-                     text-align:left;
-                     margin: 0.5em; padding-left: 2em;
-                     min-width:50%; }
-.table-of-contents ol { margin:0; margin-left:1em;
-                        list-style-type:decimal; }
-.table-of-contents ul { margin:0;
-                        list-style-type:none; }
-.table-of-contents-heading { font-weight:bold; padding:0; margin:0; }
+    /*background: #ffffcc;
+    border: 1px solid #aaaa79;*/
+    background: #c7e55f;
+    border: 1px solid #afc75e;
+    border-radius: 0.33em;
+    -moz-border-radius: 0.33em;
+    font-size: small;
+    text-align: left;
+    margin: 0.5em; 
+    padding: 0.25em 0.5em;
+    float: right;
+    max-width: 50%;
+    clear: right;
+}
+.table-of-contents ol {
+    margin: 0 0 0 2em;
+    padding: 0;
+    list-style-type: decimal;
+}
+.table-of-contents li {
+    margin: 0;
+    padding: 0;
+}
+.table-of-contents ul { 
+    margin: 0;                    
+    list-style-type: none;
+}
+.table-of-contents-heading { 
+    font-weight: bold;
+    padding: 0;
+    margin: 0;
+}
 
 
 .footnotes div {
@@ -258,12 +281,16 @@
 	border: 1px solid #aaaa79;
 	background-color: #ffffcc;
 	color: black;
+    border-radius: 0.33em;
+    -moz-border-radius: 0.33em;
 }
 
 div.codearea pre { /* the pre has no border and is inside the div */
 	margin: 0;
 	padding: 10pt;
 	border: none;
+        background: transparent;
+    font-family: "dejavu sans mono", "lucida console", "consolas", monospace;
 }
 
 a.codenumbers { /* format of the line numbering link */