diff options
author | Ludovic Courtès | 2018-04-22 18:50:41 +0200 |
---|---|---|
committer | Ludovic Courtès | 2018-04-22 18:50:41 +0200 |
commit | 418a759052bbcc48012e2f99e105df796f1453b3 (patch) | |
tree | 3a10672dcfea26761f0768ebef741d67764ce57c /doc/user/skribilo.css | |
parent | ae0bce11d0af4422096f6db8a857286ed26b07b5 (diff) | |
download | skribilo-418a759052bbcc48012e2f99e105df796f1453b3.tar.gz skribilo-418a759052bbcc48012e2f99e105df796f1453b3.tar.lz skribilo-418a759052bbcc48012e2f99e105df796f1453b3.zip |
doc: In HTML, use CSS for the 'doc-engine' markup.
* doc/modules/skribilo/documentation/api.scm (he): Add 'doc-engine'
writer.
(doc-engine): Add a case for HTML alongside Lout.
* doc/user/skribilo.css (.skribilo-doc-markup, .skribilo-doc-engine)
(.skribilo-api-engine-custom-name)
(.skribilo-api-engine-custom-description)
(.skribilo-api-engine-custom-default): New entities.
Diffstat (limited to 'doc/user/skribilo.css')
-rw-r--r-- | doc/user/skribilo.css | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css index eb93784..b74e8a3 100644 --- a/doc/user/skribilo.css +++ b/doc/user/skribilo.css @@ -1,4 +1,4 @@ -/* -*- coding: utf-8; mode: C; -*- +/* -*- coding: utf-8 -*- CSS style sheet for the Skribilo manual. @@ -155,7 +155,7 @@ table.toc { line-height: 1.5; } -.skribilo-doc-markup { +.skribilo-doc-markup, .skribilo-doc-engine { border-top: 1px dotted #333; background: #fef7f7; border-radius: 0px 0px 10px 10px; @@ -167,28 +167,36 @@ table.toc { } .skribilo-api-option-name, -.skribilo-api-argument-name { +.skribilo-api-argument-name, +.skribilo-api-engine-custom-name { font-family: monospace, Courier; font-size: 0.9em; display: inline-block; min-width: 120px; vertical-align: top; } -.skribilo-api-option-description { +.skribilo-api-engine-custom-name { + min-width: 150px; +} +.skribilo-api-option-description, +.skribilo-api-engine-custom-description { display: inline-block; - max-width: 90%; + max-width: 80%; } -.skribilo-api-option-engines { +.skribilo-api-option-engines, +.skribilo-api-engine-custom-default { border-left: 1px dotted #333; border-right: 1px dotted #333; padding-left: 5px; padding-right: 5px; font-size: 0.9em; } +.skribilo-api-engine-custom-default { + color: #333; +} .skribilo-api-see-also { margin-top: 15px; } - /* Links. */ a { text-decoration: none; border: 0 0 0 0; border-style: none; } |