Mention Twitter hashtag and add Twitter time line

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

diff --git a/local.css b/local.css
index 325c2735f88da537a9d46a8b00806de4e4bfaa43..e48bb84e8f2477a21b6003465d5693de4138bd76 100644 (file)
--- a/local.css
+++ b/local.css
@@ -16,6 +16,13 @@ hr {
 
 code,pre,pre.hl {
   background:#eee;
+  border: 1px solid #d8d8d8;
+  padding: 0px 2px;
+  border-radius: 2px;
+}
+pre code {
+  border: none;
+  padding: 0;
 }
 
 pre {
@@ -42,6 +49,12 @@ body {
   left: 0;
 }
 
+#pagebody {
+    position: absolute;
+    top: 107px;
+    width: 100%;
+}
+
 .pageheader .header {
     padding: 1em 1em 1em 1em;
 }
@@ -82,7 +95,6 @@ body {
 }
 
 #content {
-  margin-top: 107px;
   padding-top: 1ex;
   max-width: 60em;
 }
@@ -189,13 +201,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%;
 }
@@ -245,6 +262,12 @@ legend {
   border: 0px;
 }
 
+.pageheader #google_translate_element {
+    position: absolute;
+    top: 3ex;
+    right: 10px;
+}
+
 .sidebar ul {
   margin:0;
   padding:0;
@@ -285,21 +308,33 @@ legend {
 }
 
 .toc {
-  line-height: 3ex;
   width: 30ex;
   float: right;
   margin-left: 40px;
   margin-bottom: 40px;
   padding: 2ex 2ex;
   background: #bbdbfa;
-  border: 1px solid #206cbc;
-  -moz-border-radius: 0.5ex;
+  border: none;
+  border-radius: 0.5ex;
+  box-shadow: 3px 3px 5px #aaa;
+}
+
+.toc ol ol {
+    padding-left: 2.5ex;
 }
 
 .toc li {
   margin-bottom: 0.5ex;
 }
 
+li.L1 {
+  list-style: decimal;
+}
+
+li.L2 {
+  list-style: lower-alpha;
+}
+
 table {
   margin: 1ex 0ex;
 }
@@ -328,3 +363,18 @@ ol.lower-alpha {
 ol ol {
   list-style-type: lower-alpha;
 }
+
+blockquote {
+    font-style:italic;
+    color: #666;
+    border-left: 2px solid gray;
+    margin-left: 0;
+    margin-right: 0;
+    padding-left: 1em;
+}
+
+.twitter-logo {
+    height: 1.5ex;
+    width: auto;
+    vertical-align: baseline;
+}