diff options
-rw-r--r-- | static/css/main.css | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/static/css/main.css b/static/css/main.css index 6f2eeaa..73c2c7f 100644 --- a/static/css/main.css +++ b/static/css/main.css | |||
@@ -53,16 +53,14 @@ body,html { | |||
53 | } | 53 | } |
54 | 54 | ||
55 | pre { | 55 | pre { |
56 | border-style: none; | 56 | border-left: 3px solid #118ab2; |
57 | border-radius: 0.3em; | 57 | margin-left: -1em; |
58 | background-color: #f2efe4; | ||
59 | border-width: thin; | ||
60 | color: #423; | 58 | color: #423; |
61 | font-size: 0.9em; | 59 | font-size: 0.9em; |
62 | padding: 10px; | 60 | padding: 0 0 0 1em; |
63 | text-align: left; | 61 | text-align: left; |
64 | font-family: fixed-width; | 62 | font-family: fixed-width; |
65 | overflow-x: auto; | 63 | overflow-x: display; |
66 | margin-bottom: 0.8rem; | 64 | margin-bottom: 0.8rem; |
67 | } | 65 | } |
68 | 66 | ||