--- a/htdocs/style.css	Mon Dec 17 07:41:21 2007 +0100
+++ b/htdocs/style.css	Mon Dec 17 07:42:04 2007 +0100
@@ -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;
+}