move filename sanitation to tools

[phorkie.git] / www / phorkie.css

diff --git a/www/phorkie.css b/www/phorkie.css
index aed92dfac9fe01a9d36451435c1efb343a06330b..60bf8ff752a489e9fdd8a5e0b8743b42c1225639 100644 (file)
--- a/www/phorkie.css
+++ b/www/phorkie.css
@@ -51,11 +51,26 @@ h1 {
 .file .code {
     margin-left: 2em;
 }
+.file .image {
+    margin-bottom: 2ex;
+}
 
 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;