diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/style/default.css | 7 |
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; |