diff options
Diffstat (limited to 'demos/quickstart/themes')
| -rw-r--r-- | demos/quickstart/themes/Simple/style.css | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/demos/quickstart/themes/Simple/style.css b/demos/quickstart/themes/Simple/style.css index ea77ef62..a0d2a8fb 100644 --- a/demos/quickstart/themes/Simple/style.css +++ b/demos/quickstart/themes/Simple/style.css @@ -34,15 +34,13 @@ body { #toc {
background:#BFE4FF;
- float:right;
width:200px;
padding:5px;
}
#content {
- float:left;
background:#fff;
- padding:5px;
+ padding:10px;
}
#footer {
@@ -51,7 +49,7 @@ body { font-size:8pt;
text-align:center;
margin-top:25px;
- padding:5px;
+ padding:10px;
}
.topic {
@@ -74,12 +72,13 @@ body { color:red;
}
-.code {
+.source {
padding:10px;
border-style:solid;
border-width:1px;
border-color:#cccccc;
background-color:#ffffee;
+ font-family: "Courier New", Courier, mono;
}
.runbar a:link, .runbar a:visited {
@@ -111,14 +110,19 @@ body { #sourceList {
background-color:#BFE4FF;
- margin:10px;
- border:1px solid silver;
+ margin:10px 10px 0px 10px;
padding:10px;
+ border:1px solid silver;
}
#sourceView {
+ font-family: "Courier New", Courier, mono;
background-color:#ffffee;
- margin:10px;
+ margin:5px 10px 10px 10px;
border:1px solid silver;
padding:10px;
+}
+
+code {
+ font-family: "Courier New", Courier, mono;
}
\ No newline at end of file |