Misc. minor fixes, improvements and updates
This commit is contained in:
parent
2e29709225
commit
94ae88d4b9
10 changed files with 89 additions and 34 deletions
|
|
@ -15,6 +15,7 @@ html,body { background: #ccc; text-align: center; height: 100% }
|
|||
#left li a:hover { border-bottom: 1px dashed #aaa }
|
||||
#left li li { margin-top: 10px; margin-bottom: 0 }
|
||||
#left li li a { width: 90px }
|
||||
#left li a.tiny { font-size: 11px }
|
||||
#left li a.small { font-size: 10px }
|
||||
#left .menusel { color: #03a }
|
||||
#left .notes { margin-top: 50px; text-align: center }
|
||||
|
|
@ -42,9 +43,10 @@ pre { padding-left: 0 }
|
|||
pre, code, pre b { font: 11px monospace; }
|
||||
pre b { font-weight: bold }
|
||||
pre { margin: 0 0 10px 18px; display: block; padding: 0; border-left: 1px dotted #999 }
|
||||
pre.interface { border-left: 3px solid #03a; font-size: 12px }
|
||||
dd { margin-left: 15px }
|
||||
dt a { color: #333 }
|
||||
dt { margin-left: 10px }
|
||||
dt { margin-left: 15px }
|
||||
i { font-style: italic }
|
||||
.sig { vertical-align: super }
|
||||
.sig, .sig a { font-size: 9px; color: #333; text-decoration: none }
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue