From b87514f1863a3f6231d3ccb4e785d03a4b179b6d Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Sun, 29 Apr 2018 23:24:36 +0200 Subject: doc: Use the same CSS as the web site. * web/static: Move to... * doc/user/static: ... this. * web/static: Turn into a symlink. * doc/user/skribilo.css: Remove. * doc/modules/skribilo/documentation/manual.scm: Use "static/manual.css" instead of "skribilo.css". * doc/user/Makefile.am (dist_html_DATA): Remove. (nobase_dist_html_DATA): New variable. * doc/user/static/manual.css: New file. --- doc/user/skribilo.css | 304 -------------------------------------------------- 1 file changed, 304 deletions(-) delete mode 100644 doc/user/skribilo.css (limited to 'doc/user/skribilo.css') diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css deleted file mode 100644 index b74e8a3..0000000 --- a/doc/user/skribilo.css +++ /dev/null @@ -1,304 +0,0 @@ -/* -*- coding: utf-8 -*- - - CSS style sheet for the Skribilo manual. - - Copyright 2007, 2008, 2012, 2018 Ludovic Courtès - - Copying and distribution of this file, with or without modification, - are permitted in any medium without royalty provided the copyright - notice and this notice are preserved. */ - -/* FIXME: This file is messy and contains loads of useless stuff. */ - -/* http://www.impallari.com/lobster/ */ -@font-face { - font-family: 'Lobster'; - font-style: normal; - font-weight: normal; - src: local('Lobster'), url('lobster-1.4.otf') format('opentype'); -} - -/* http://www.theleagueofmoveabletype.com/junction */ -@font-face { - font-family: 'Junction'; - src: local('Junction'), url('junction.ttf') format('truetype'); - font-weight: normal; - font-style: normal; -} - -pre { font-family: monospace; text-align: left; } -tt { font-family: monospace } -code { font-family: monospace } -body { margin: 1em 1.5em 1.5em 1.5em; background: #ffffff; } -p { text-align: justify; } -p.flushright { text-align: right } -p.flushleft { text-align: left } -span.sc { font-variant: small-caps } -span.sf { font-family: sans-serif } - - -body.document { - font-family: Lobster, sans-serif; - font-weight: bolder; -} - -body.chapter { /* chapter title when `:file #t' */ - font-family: sans-serif; - font-weight: bolder; -} -body.section { /* section title when `:file #t' */ - font-family: sans-serif; - font-weight: bolder; -} - - -div.skribilo-title { - font-size: large; - text-align: right; - background: #ee7777; /* #dddde0; */ - border-top-color: black; - border-top-style: none; - margin: 10px; - padding: 10px; - border-radius: 10px; -} - -table.author { - font-family: Junction, sans-serif; - font-style: normal; - font-weight: normal; - text-align: right; -} - -.skribilo-body { - font-family: Junction, sans-serif; - font-weight: normal; - font-size: normal; - text-align: left; - line-height: 1.6; - background: #ffffff; - padding: 0 5% 0 5%; -} - -table.toc { - border-spacing: 8px; -} - -.small-toc { - text-align: left; - font-size: normal; - font-weight: normal; - background: #eeeef0; - - position: relative; - padding: 10px; - width: 30%; - margin: 30px 0 0 0; - - /* XXX: `float' doesn't play well with tables. */ - /* float: right; */ - /* margin: 0 0 30px 30px; */ - - border-width: 1px; - border-style: dotted; - border-color: #999; - border-radius: 5px; - -moz-border-radius: 2px; -} - -.skribilo-ending { - /* The Skribilo advertising message. */ - font-family: sans-serif; - font-weight: normal; - font-size: small; - text-align: right; - color: #999; - border-top-style: dashed; - border-top-width: 1px; - border-top-color: #aaa; - margin: 20px 0 0 0; -} - -.section-title { - background: #eeeef0; - font-family: sans-serif; - font-weight: bold; - font-size: larger; - text-align: right; -} - -.subsection-title { font-family: Junction, sans-serif; } - -.code-excerpt { - background: #eeeef0; - font-family: fixed-width, Courier; - text-align: left; - margin: 20px; - padding: 10px 25px 10px 25px; - border-width: 0px; - align: center; -} - -.skribilo-manual-prgm { /* for 'prgm' */ - font-family: fixed-width, Courier; - text-align: left; -} - -.skribilo-manual-disp { /* for 'disp' */ - border-left: 1px dotted black; - padding-left: 1em; - padding-right: 1em; - margin-top: 1em; - margin-bottom: 1em; - margin-left: 0em; - margin-right: 3em; - line-height: 1.5; -} - -.skribilo-doc-markup, .skribilo-doc-engine { - 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, -.skribilo-api-engine-custom-name { - font-family: monospace, Courier; - font-size: 0.9em; - display: inline-block; - min-width: 120px; - vertical-align: top; -} -.skribilo-api-engine-custom-name { - min-width: 150px; -} -.skribilo-api-option-description, -.skribilo-api-engine-custom-description { - display: inline-block; - max-width: 80%; -} -.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; } -a:link { color: #333344; } -a:hover { background: #ee7777; color: #333344; } -a:visited { color: #443333; } - - -/* Navigation tabs (currently unused) */ - -div.navtabs-title { - padding: 0 0 0 0; - margin: 0 0 0 0; - border: 0 0 0 0; - text-align: left; - background: #8381de; -} -div.navtabs-tabs { - clear: left; - margin: 0 0 0 0; - border: 0 0 0 0; - text-align: left; - padding: 0 0 0 20%; - background: #8381de; -} -div.navtabs-bar { - margin: 0 0 0 0; - border: 0 0 0 0; - text-align: left; - border-top-color: black; - border-top-style: solid; - border-top-width: 1px; - padding: 0 0 0 20%; - background: #dedeff; -} -div.navtabs-tabs { - color: black; - border-width: 1px; - border-color: black; - border-style: dotted; - padding: 2px 10px 0px 10px; - margin: 0 1px 0 0; - text-decoration: none; - background: #dedeff; -} -div.navtabs-tabs { - background: white; - color: black; - border-width: 1px; - border-color: black; - border-style: dotted; - padding: 2px 10px 0px 10px; - margin: 0 1px 0 0; - text-decoration: none; -} -div.navtabs-tabs { - background: #8381de; -} - - -/* Margins */ - -table.left-margin-menu { - border-radius: 10pt; - -moz-border-radius: 10pt; - background: #eee; - margin: 10px; -} - - -td.skribilo-left-margin { - border-width: 0; - padding: 0 10px 0 10px; - height: 100%; - background: #ffffff; - font-family: sans-serif, Helvetica, Arial; - font-size: small; -} - -div.skribilo-left-margin { - position: fixed; - /* width: 10%; */ -} - -table.skribilo-margins { - border-width: 1px 0 0 0; - border-style: solid; - border-color: black; - margin: 0px; - height: 100%; -} - -div.skribilo-right-margin { - border-width: 0 0 0 1px; - border-left-style: solid; - border-left-color: black; - margin: 0; - height: 100%; -} -table.skribilo-margins td.skribilo-right-margin { - border-bottom-width: 1px; - border-bottom-style: solid; - border-bottom-color: black; -} - -- cgit v1.2.3