diff options
author | Ludovic Courtès | 2018-04-22 18:07:46 +0200 |
---|---|---|
committer | Ludovic Courtès | 2018-04-22 18:49:28 +0200 |
commit | ae0bce11d0af4422096f6db8a857286ed26b07b5 (patch) | |
tree | 27205dd674977332723522c3e439766000e764d4 /doc/user | |
parent | 580a0527ea23a5ee94d36ac74b302ebb22342f9e (diff) | |
download | skribilo-ae0bce11d0af4422096f6db8a857286ed26b07b5.tar.gz skribilo-ae0bce11d0af4422096f6db8a857286ed26b07b5.tar.lz skribilo-ae0bce11d0af4422096f6db8a857286ed26b07b5.zip |
doc: In HTML, use CSS to render 'doc-markup'.
* doc/modules/skribilo/documentation/api.scm (he): Add writer for
'doc-markup'.
(le): Add LE as an argument to 'markup-writer' where it was missing.
(doc-markup): Remove 'doc-markup.html', and use 'doc-markup.generic' for
HTML.
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. */ |