diff options
author | xue <> | 2005-12-29 11:52:31 +0000 |
---|---|---|
committer | xue <> | 2005-12-29 11:52:31 +0000 |
commit | 658a7e1c4cf5a53dcd61ee196658090d00f2d64a (patch) | |
tree | c37b767c6e4d70baaf9ff471ce3721c9d8733f72 /demos/quickstart/themes/Simple | |
parent | c0006cf0da8c3499060df7378cc376c98cbce7c4 (diff) |
Used THighlighter to show code fragments.
Diffstat (limited to 'demos/quickstart/themes/Simple')
-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;
|