diff options
author | Scott Main <smain@google.com> | 2013-03-07 11:49:17 -0800 |
---|---|---|
committer | Android Git Automerger <android-git-automerger@android.com> | 2013-03-07 11:49:17 -0800 |
commit | 50e9bdd0a4f3ef75ea7b76c553422fbaf72c7256 (patch) | |
tree | c54ed61471cfd926dd5a29c3ae0b94d76c762a87 /tools | |
parent | c36a4b6ea93e5cd4743129b0534a61c6ce4a9aa2 (diff) | |
parent | c8141407eff4577abae3740bb2a6abf881c6c17c (diff) | |
download | build-50e9bdd0a4f3ef75ea7b76c553422fbaf72c7256.zip build-50e9bdd0a4f3ef75ea7b76c553422fbaf72c7256.tar.gz build-50e9bdd0a4f3ef75ea7b76c553422fbaf72c7256.tar.bz2 |
am c8141407: am 40741e48: am 4cc2bc77: am a07be8ee: switch code font to pure monospace (sans serif). also add proper margins for elements nested in lists
* commit 'c8141407eff4577abae3740bb2a6abf881c6c17c':
switch code font to pure monospace (sans serif). also add proper margins for elements nested in lists
Diffstat (limited to 'tools')
-rw-r--r-- | tools/droiddoc/templates-sdk/assets/css/default.css | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/tools/droiddoc/templates-sdk/assets/css/default.css b/tools/droiddoc/templates-sdk/assets/css/default.css index 9f4edc6..de47705 100644 --- a/tools/droiddoc/templates-sdk/assets/css/default.css +++ b/tools/droiddoc/templates-sdk/assets/css/default.css @@ -1089,13 +1089,18 @@ li { dd { margin:0 0 10px 30px; } -dd p { +dd p, +dd pre, +dd ul, +dd ol, +dd dl { margin:10px 0 0; } li p, li pre, li ul, -li ol { +li ol, +li dl { margin-top:5px; margin-bottom:5px; } @@ -1104,11 +1109,11 @@ pre strong, pre b, a strong, a b, a code { } pre, code { color: #060; - font: 14px/1.5 'courier new', courier, monospace; + font: 13px/1.5 monospace; } code { font-weight:bold; - font: 14px/14px 'courier new', courier, monospace; + font: 13px/14px monospace; } legend { @@ -2473,7 +2478,7 @@ p.table-caption { p.code-caption { margin: 0 0 4px 0; - font: 13px/1.5 'courier new', courier, monospace; + font: 12px/1.5 monospace; color:#666; } |