diff -r 946a11dbdb23 -r f29a43ca4760 htdocs/style.css
--- a/htdocs/style.css	Mon Dec 17 05:30:04 2007 +0100
+++ b/htdocs/style.css	Sun Dec 16 21:04:10 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;
+}