/* -*- coding: utf-8; mode: C; -*- CSS style sheet for the Skribilo manual. Copyright 2007, 2008, 2012 Ludovic Courtès <ludo@gnu.org> 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; } /* 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; }