htdocs/style.css
changeset 8 f76671115809
parent 5 f29a43ca4760
--- a/htdocs/style.css	Mon Dec 17 05:37:21 2007 +0000
+++ b/htdocs/style.css	Sun Dec 16 21:45:22 2007 -0800
@@ -1,3 +1,23 @@
 body {
 	font-family: Arial, Helvetica, sans-serif;
 }
+
+.term,.file {
+	background: #EFEFEF;
+	color: gray;
+	padding: 5px;
+	border: 1px solid #808080;
+}
+
+.term,.file a {
+	color: gray;
+}
+
+.term,.file a:hover {
+	color: black;
+}
+
+.pkg,.path {
+	font-family: monospace;
+	background: #EFEFEF;
+}