Update some CSS

1 files changed, 66 insertions, 0 deletions

diff --git a/site/org.css b/site/org.css
index 70ce626..d13cc1a 100644
--- a/site/org.css
+++ b/site/org.css
@@ -1,5 +1,17 @@
+a {
+    text-decoration: none;
+}
+
+a:hover {
+    text-decoration: underline;
+}
+
 body {
+    border: 0;
     font-family: sans-serif;
+    margin: 0;
+    padding: 0;
+    line-height: 160%;
 }
 
 #content,
@@ -8,3 +20,57 @@ body {
     margin: 0 auto;
     width: 700px;
 }
+
+#table-of-contents {
+    background-color: #ffffff;
+    color: #000000;
+    margin-left: 20px;
+    margin-top: 0;
+    margin-right: -3em;
+    margin-bottom: 20px;
+    border-right: 0;
+	padding: 10px 0 10px 10px;
+    float: right;
+	width: 11em;
+}
+
+#table-of-contents ul {
+	padding-left: 3px;
+	text-transform: lowercase;
+	font: normal smaller sans-serif;
+	font-weight: normal;
+	line-height: 100%;
+	list-style-type: none;
+	margin: 0;
+	text-align: left;
+}
+
+#table-of-contents ul li {
+	border: 0;
+	font-weight: normal;
+    font-style: normal;
+	letter-spacing: 0;
+	margin-top: 0;
+	padding: 0;
+	padding-left: 12px;
+}
+
+#table-of-contents ul a {
+	text-decoration: none;
+}
+
+#table-of-contents ul a:visited {
+	text-decoration: none;
+}
+
+#table-of-contents ul a:hover {
+    text-decoration: underline;
+}
+
+#table-of-contents h2 {
+	font: italic smaller sans-serif;
+	font-weight: bold;
+	margin-top: 10px;
+    margin-bottom: 0px;
+	padding-bottom: 2px; /*border-bottom: dotted 1px #ccc;*/
+}