move filename sanitation to tools

[phorkie.git] / www / phorkie.css

diff --git a/www/phorkie.css b/www/phorkie.css
index e4781654c63b35c0ab746f4155eb4bb335088b95..60bf8ff752a489e9fdd8a5e0b8743b42c1225639 100644 (file)
--- a/www/phorkie.css
+++ b/www/phorkie.css
@@ -45,14 +45,32 @@ h1 {
     -moz-border-radius: 4px;
     border-radius: 4px;
 }
+.file .header .btn-mini {
+    margin-left: 2px;
+}
 .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;