diff options
-rw-r--r-- | static/style/default.css | 25 |
1 files changed, 20 insertions, 5 deletions
diff --git a/static/style/default.css b/static/style/default.css index 673e2a6..ed22d76 100644 --- a/static/style/default.css +++ b/static/style/default.css @@ -67,20 +67,25 @@ p { margin-bottom: .5em; margin-top: .5em; } hr { - height: 14px; + height: 1px; padding: 1px; background-color: black; padding: 0px; - width: 101%; + width: 80%; border: none; - margin: 0px; + margin: 1em; border-top: 8px solid #FFFFFF; border-bottom: 5px solid #FFFFFF; border-left: 55px solid #FFFFFF; border-right: 55px solid #FFFFFF; } dt { font-weight: bold; } -pre.highlight { +div.highlight { + margin: 1em; + padding: 6px; + overflow: auto; + } +pre.highlight, table.highlighttable { font-family: courier; background-color: black; color: white; @@ -88,10 +93,14 @@ pre.highlight { padding: 6px; border: 2px solid grey; overflow: auto; } +table.highlighttable td.linenos { + width: 3em; + margin-right: 0.5em; } pre.terminal { font-family: courier; background-color: black; color: white; + font-size: 0.83em; margin: 1em; padding: 6px; border: 2px solid grey; @@ -181,7 +190,7 @@ pre.terminal { padding-right: 5px; } .content_footer a, .content_footer a:visited { color: #6666AA; } -.right_stuff { +.sidebar, .right_stuff { font-weight: bold; font-size: 0.8em; margin-left: 0.25em; @@ -255,3 +264,9 @@ table.listing td.description { padding-bottom: 0.1em; } address { font-style: normal; } +blockquote { + margin: 0.75em; + padding-left: 1em; + font-style: italic; + color: #222222; + border-left: 2px grey solid; } |