aboutsummaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/skribilo.css36
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. */