More emphasis on the GUI lecture.

[edu/osp-wiki.git] / local.css

diff --git a/local.css b/local.css
index 155b01d5c38e92935a98006203635c90c07f9e3e..ef9325825377d00ea356cb6d1247c01a1e29fe54 100644 (file)
--- a/local.css
+++ b/local.css
@@ -14,8 +14,8 @@ hr {
   border-style:none;
 }
 
-code,pre {
-  background:#eee;
+code,pre,pre.hl {
+  background:#d8d8d8;
 }
 
 pre {
@@ -76,9 +76,15 @@ body {
   margin:1em 2em;
 }
 
+.pagefooter, .inlinefooter, .comment-header {
+  color: gray;
+  font-size: 70%;
+}
+
 #content {
   margin-top: 107px;
   padding-top: 1ex;
+  max-width: 60em;
 }
 
 #pageinfo {
@@ -102,7 +108,7 @@ h1,h2,h3,h4,h5,h6 {
 }
 
 h1 {
-  font:120% sans-serif;
+  font:150% sans-serif;
 }
 
 h2 {
@@ -183,13 +189,18 @@ a[href$=.pdf] {
   clear:both;
   margin-bottom:1em;
   border-bottom:1px solid #e8e5d6;
-  background:#f0ecdc;
+  background:#f8f8f8;
   position:relative;
   border-radius:.6em;
   -moz-border-radius:.6em;
   padding:.7em 1.4em;
 }
 
+.comment code, .comment pre, .comment pre.hl {
+  background:#ddd;
+}
+
+
 .inlinepage h2,.inlinepage h3 {
   font-size:100%;
 }
@@ -227,7 +238,7 @@ legend {
   padding: 0 1ex 0 0.5ex;
 }
 
-#sidebar {
+.sidebar {
   position: absolute;
   bottom: 0px;
   width: 100%;
@@ -236,22 +247,23 @@ legend {
   padding-left: 1em;
   float: none;
   background-color: transparent;
+  border: 0px;
 }
 
-#sidebar ul {
+.sidebar ul {
   margin:0;
   padding:0;
 }
 
 
-#sidebar li {
+.sidebar li {
   display: inline;
   list-style:none;
   padding: 0;
   margin: 0;
 }
 
-#sidebar ul li a, #sidebar ul li span {
+.sidebar ul li a, .sidebar ul li span {
   color: #FFF;
   background-color: #206cbc;
   display: inline-block;
@@ -267,10 +279,10 @@ legend {
   border-radius:.3em .3em 0 0;
   -moz-border-radius: .3em .3em 0 0;
 }
-#sidebar ul li a:hover {
+.sidebar ul li a:hover {
   background-color: #7faede;
 }
-#sidebar ul li span.selflink {
+.sidebar ul li span.selflink {
   background-color: white;
   color: black;
 //  border: 1px solid #eee;
@@ -313,3 +325,11 @@ table.borders {
 table.borders th, table.borders td {
   border: 1px solid #206cbc;
 }
+
+ol.lower-alpha {
+  list-style-type: lower-alpha;
+}
+
+ol ol {
+  list-style-type: lower-alpha;
+}