move filename sanitation to tools

[phorkie.git] / www / phorkie.css

diff --git a/www/phorkie.css b/www/phorkie.css
index b59f54cf6c7155aa47342f5979c08d745a33241b..60bf8ff752a489e9fdd8a5e0b8743b42c1225639 100644 (file)
--- a/www/phorkie.css
+++ b/www/phorkie.css
@@ -59,6 +59,18 @@ div.annotations div.alert {
     margin-bottom: 1ex;
 }
 
+ul.history li {
+    padding-left: 2px;
+    padding-bottom: 1px;
+}
+ul.history li.active {
+    background-color: #EEE;
+    border-radius: 3px;
+}
+ul.history a.hash {
+    font-family: monospace;
+}
+
 
 ul.pager {
     margin-top: 2ex;