aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--static/style/default.css18
1 files changed, 13 insertions, 5 deletions
diff --git a/static/style/default.css b/static/style/default.css
index 3c0ba5b..92d6c21 100644
--- a/static/style/default.css
+++ b/static/style/default.css
@@ -1,7 +1,7 @@
body {
font-family: "Lucida Grande","Lucida Sans Unicode","Lucida Sans",Tahoma,sans-serif;
font-size: 1em;
- line-height: 1.25;
+ line-height: 1.3;
background-color: #E3E3E3; }
a {
text-decoration: none; }
@@ -168,13 +168,21 @@ pre.terminal {
background-color: #FFFFFF;
margin-left: 4%;
width: 756px;
- margin-top: 0px;
- margin-bottom: 0px;
+ margin-top: 0;
+ margin-bottom: 0;
padding-left: 24px;
padding-right: 24px;
- padding-bottom: 12px; }
+ padding-bottom: 1em;
+}
+.content p,h2,h3,h4 {
+ margin-left: 0.5em;
+ margin-right: 0.5em;
+}
.content img {
- border: 1px solid black; }
+ border: 1px solid black;
+ margin-top: 1em;
+ margin-bottom: 1em;
+}
.content_footer {
/*font-style: italic;*/
color: #666666;