diff options
Diffstat (limited to 'demos/quickstart/themes/Simple/style.css')
| -rw-r--r-- | demos/quickstart/themes/Simple/style.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/demos/quickstart/themes/Simple/style.css b/demos/quickstart/themes/Simple/style.css index 2bdddae8..5bbae28b 100644 --- a/demos/quickstart/themes/Simple/style.css +++ b/demos/quickstart/themes/Simple/style.css @@ -86,15 +86,21 @@ h3 { }
.source {
- padding: 0 1em;
- border-style:solid;
+ padding: 0.5em;
+ border-style:dotted;
border-width:1px;
border-color:#cccccc;
background-color:#ffffee;
font-family: "Courier New", Courier, mono;
+ margin-top: 0.2em;
margin-bottom: 0.5em;
}
+.source pre {
+ font-family: "Courier New", Courier, mono;
+ margin: 0;
+}
+
.runbar a:link, .runbar a:visited {
background-color:#BFE4FF;
font-size: 12px;
|