From ae0bce11d0af4422096f6db8a857286ed26b07b5 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès
Date: Sun, 22 Apr 2018 18:07:46 +0200
Subject: 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.
---
 doc/user/skribilo.css | 36 +++++++++++++++++++++++++++++++++++-
 1 file changed, 35 insertions(+), 1 deletion(-)

(limited to 'doc/user/skribilo.css')

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.  */
 
-- 
cgit v1.2.3