diff options
Diffstat (limited to 'docs/manual/style.css')
-rw-r--r-- | docs/manual/style.css | 69 |
1 files changed, 53 insertions, 16 deletions
diff --git a/docs/manual/style.css b/docs/manual/style.css index 28fc112..8dae87d 100644 --- a/docs/manual/style.css +++ b/docs/manual/style.css @@ -2,20 +2,24 @@ /* Global settings. */ -body { +body +{ background: #FFFFFF; } -h1 { +h1 +{ text-align: center; } -h2 { +h2 +{ background: #EEEEFF; padding: 10px; } -dt { +dt +{ padding: 6px; } @@ -25,23 +29,50 @@ dt div float: right; } -dd { +dd +{ padding: 6px; } -pre { +pre +{ padding: 10px; background: #E0E0E0; } +.spacious li +{ + padding: 8px; +} + +.shifted li +{ + margin-left: 50px; +} + +img.float +{ + float: left; +} + a { text-decoration: none; } +a.button +{ + color: #000000; + text-decoration: none; + background: #E0E0E0; + border: 1px outset #FFFFFF; + float: right; +} + /* Settings for variable width code. */ -p.code { +p.code +{ padding: 10px; background: #E0E0E0; } @@ -49,34 +80,39 @@ p.code { /* Settings for diagrams. */ -table.diagram { +table.diagram +{ padding: 8px; border: none; border-spacing: 2px; } -td.transparentblock { +td.transparentblock +{ text-align: center; padding: 10px 0px; } -td.whiteblock { +td.whiteblock +{ width: 100px; text-align: center; - border: solid #C0C0C0 1px; + border: 1px solid #C0C0C0; background: #E0E0E0; padding: 10px 0px; } -td.lightblock { +td.lightblock +{ width: 100px; text-align: center; - border: solid #8888FF 1px; + border: 1px solid #8888FF; background: #BBBBFF; padding: 20px 0px; } -td.darkblock { +td.darkblock +{ width: 100px; text-align: center; background: #8888FF; @@ -85,8 +121,9 @@ td.darkblock { /* Settings for buttons. */ -td.button { +td.button +{ background: #E0E0E0; - border: outset #FFFFFF 1px; + border: 1px outset #FFFFFF; font-weight: bold; } |