renamed a few templates, further work on git_browsev0.0.0

1 files changed, 7 insertions, 0 deletions

diff --git a/static/style/default.css b/static/style/default.css
index 7c9402e..5edddc7 100644
--- a/static/style/default.css
+++ b/static/style/default.css
@@ -34,6 +34,13 @@ hr {
     border-right: 55px solid #FFFFFF; }
 dt {
     font-weight: bold; }
+pre {
+    font-family: courier;
+    margin: 10px;
+    padding: 6px;
+    border: 1px solid black;
+    background-color: #F2D1D1;
+    overflow: auto; }
 
 .search_box {
     border: 1px solid black;