Add sidebar in, rework index page, add a little jQuery

1 files changed, 10 insertions, 39 deletions

diff --git a/css/style.css b/css/style.css
index 7b808c9..1e93a47 100755
--- a/css/style.css
+++ b/css/style.css
@@ -1,47 +1,18 @@
 
-.site { width: 60em; }
-
-#content.site { width: 59em; }
-
-/*a { color: #008; }
-
-#welcome h1 {
-  padding: 20px;
-  text-align: center;
-  background: #834;
-  color: #fff;
-  }
-
-
-#welcome { margin-bottom: 0.5em; }
-#welcome p { font-size: 1.3em; color: #444; text-align:center; padding: 0 5em; }
-#welcome p:last-child { margin-bottom: 0; }
-
-#header { }
-#footer { background: #ddd;}
-#footer a { color: #444; }
-*/
 .category_index { float: left; margin: 0.25em; width:19em; }
 .category_index h2 { background: #ddd; text-align: center; padding: 0.25em; margin-bottom: 0.5em; }
 .category_index dt, .category_index dd { margin-right: 0.5em; }
 .category_index dt { margin-left: 0.5em !important; }
 .category_index dd { margin-left: 1.5em !important; }
 
-/*.info, .fork { padding: 10px; }
-.content { font-size: 1.2em; }
-.content h3 { background: #fdd; font-size: 1.7em; padding: 6px 2px; margin-top: 1.5em; }
-.content p { margin-top: 1.5em; }
-
-pre { padding: 20px; background: #444; color: white; font-size: 0.9em; }
-
-#links { padding: 10px; }
-
-#header #links { text-align:right; }
-#header #links a { color: #555; font-size: 1.2em; padding: 5px; margin: 10px; }
+.sidebar dl {
+  display: none;
+  margin-bottom: 0;
+}
 
-.button { text-align: center; padding: 10px; font-size: 1.2em; font-weight:bold; }
-.red   { border: 3px solid #a88; background: #fee;}
-.red a { color: #a44; }
-.green { border: 3px solid #8a8; background: #efe;}
-.blue  { border: 3px solid #88a; background: #eef;}
-*/
\ No newline at end of file
+pre.terminal {
+  padding: 1em !important;
+  background: #444 !important;
+  color: white !important;
+  font-size: 0.9em !important;
+}