diff options
Diffstat (limited to 'doc/user')
| -rw-r--r-- | doc/user/skribilo.css | 36 |
1 files changed, 35 insertions, 1 deletions
diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css index df021ac..eb93784 100644 --- a/doc/user/skribilo.css +++ b/doc/user/skribilo.css @@ -153,7 +153,41 @@ table.toc { margin-left: 0em; margin-right: 3em; line-height: 1.5; -}; +} + +.skribilo-doc-markup { + border-top: 1px dotted #333; + background: #fef7f7; + border-radius: 0px 0px 10px 10px; + padding: 15px; +} + +.skribilo-api-prototype { + margin-bottom: 10px; +} + +.skribilo-api-option-name, +.skribilo-api-argument-name { + font-family: monospace, Courier; + font-size: 0.9em; + display: inline-block; + min-width: 120px; + vertical-align: top; +} +.skribilo-api-option-description { + display: inline-block; + max-width: 90%; +} +.skribilo-api-option-engines { + border-left: 1px dotted #333; + border-right: 1px dotted #333; + padding-left: 5px; + padding-right: 5px; + font-size: 0.9em; +} +.skribilo-api-see-also { + margin-top: 15px; +} /* Links. */ |