diff options
Diffstat (limited to 'demo/dst/style.css')
| -rw-r--r-- | demo/dst/style.css | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/demo/dst/style.css b/demo/dst/style.css new file mode 100644 index 0000000..5080521 --- /dev/null +++ b/demo/dst/style.css @@ -0,0 +1,54 @@ +html { + font-size: 100%; + font-family:sans-serif; + /* font-family:sans-serif; */ + /* font:1.2em/1.62 sans-serif; */ +} + +body { + line-height: 1.6; + max-width:40em; + background-color: #ededed; + margin: auto; +} + +.container { + text-align: center; +} + +.container pre { + display: inline-block; + text-align: left; + line-height: 1.0; +} + +#header { + text-decoration: none; + color: inherit; + font-size:125%; +} + +#navigation { + font-family:monospace; + font-size:125%; +} + +h1 { font-size: 1.4rem; } +h2 { font-size: 1.2rem; } +h3 { font-size: 1.0rem;} + +a:link, a:visited { + color: #2626FF; +} + +a:hover, a:focus { + color: #4c4cFF; +} + +li + li { + margin-top:0.2em; +} + +ul img { + vertical-align:middle; +} |
