aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--static/style/default.css25
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; }