diff options
author | Brint E. Kriebel <bekit@cyngn.com> | 2014-09-29 17:19:43 -0700 |
---|---|---|
committer | Brint E. Kriebel <bekit@cyngn.com> | 2014-09-29 17:19:43 -0700 |
commit | b64a23b7cc2761f03879ceb6b030ae80171f11e2 (patch) | |
tree | 86ba49fd1b7275a7e293c3c3bc44e6317bebf67f /docs/manual/style.css | |
parent | fe926bab25e3af81265d4e0bbb79bcdb41b10635 (diff) | |
parent | 9961286c06c25cd03464d3e2b00bd9b9dedf96ba (diff) | |
download | android_external_proguard-stable/cm-11.0-XNG3C.tar.gz android_external_proguard-stable/cm-11.0-XNG3C.tar.bz2 android_external_proguard-stable/cm-11.0-XNG3C.zip |
Merge remote-tracking branch 'aosp/l-preview' into cm-11.0cm-11.0-XNPH05Q-tomato-9828f8e9cccm-11.0-XNPH05Q-bacon-5229c4ef56stable/cm-11.0-XNG3Cstable/cm-11.0-XNG2Sstable/cm-11.0-XNF9Xstable/cm-11.0-XNF8Ystable/cm-11.0shipping/cm-11.0cm-11.0
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; } |