/* Copyright (C) 2004-2020 Free Software Foundation, Inc. */ /* This file is part of mom, which is part of groff, a free software */ /* project. */ /* You can redistribute it and/or modify it under the terms of the */ /* "GNU General Public License" as published by the "Free Software */ /* Foundation", version 2. /* The license text is available in the internet at */ /* */ /* stylesheet for the mom macros documentation */ a:link { color: blue; text-decoration: none; } a:hover { color: red; text-decoration: underline; } a:visited { color: purple; text-decoration: none; } a:visited:hover { color: purple; text-decoration: underline; } a.header-link:visited { color: #6e70cc ; } a.header-link:visited:hover { color: #6e70cc ; } a:link.quick { text-decoration: underline; } .version /* version number for top of toc.html */ { font-size: 90% ; text-align: center ; } .page /* Page setup: page color, size and border */ { width: 67% ; position: relative ; top: 12px ; bottom: 12px ; margin: auto ; padding: 12px ; border: solid 1px #ceac8d ; color: #302419 ; background-color: #ffffeb ; font: 1em/1.5em arial,sans-serif ; font-variant-ligatures: none; } .nobr /* Make a class property */ { white-space: nowrap ; hyphens: none ; } /* Heads */ h1.docs { font-family: arial,sans-serif ; font-size: 125% ; text-align: center ; color: #002b56 ; background-color: #e2f1ff ; outline: solid 1px #99cccc ; padding: 6px ; } h2.docs { margin-bottom: -.25em ; font-size: 105% ; color: #000056 ; } h2.macro-group /* ie "Page setup" or "Indents" or "Multi-columns" */ { margin-top: 1em ; font-size: 120% ; color: #000056 ; background-color: #dfccad ; padding: 6px ; } h3.docs { margin-bottom: -.5em ; font-size: 95% ; color: #000056 ; text-transform: uppercase ; } h3.appendices { font-size: 100% ; text-transform: none ; } h3.notes { display: inline-block ; margin-top: .5em ; } h3.control { padding-top: .5em ; font-size: 100% ; text-transform: none ; } h3.numbered { font-size: 100% ; margin-bottom: -.5em ; } h3.macro-id { font-size: 105% ; color: #000056 ; text-transform: uppercase ; margin-top: 3px ; margin-bottom: 0px ; } h4.docs { font-size: 95% ; margin-bottom: -.5em ; color: #000056 ; } h4.doc-param-macros { margin-top: -.5em ; } h4.arg-list { margin-top: -.5em ; } h4.fields { color: #302419 ; } h5.docs { margin-bottom: -.5em ; font-size: 95% ; color: #000056 ; text-transform: uppercase ; } ul.doc-param-macros { margin-top: .75em ; margin-left: -.5em ; } .control-macros-header { display: inline-block ; margin-bottom: -.25em ; padding: 2px 6px 0 6px ; outline: 1px solid #000058 ; font-size: 100% ; background-color: #e2f1ff ; } .control-macro { font-size: 100% ; margin-bottom: -.75em ; color: #2f2f71 ; } .macro-id-overline { display: inline-block ; border-top: solid 2px #8d8775 ; margin-bottom: .5em ; } /* Paragraphs */ p.no-indent { text-indent: 0px ; } p.requires { font-family: arial,sans-serif ; font-style: italic ; text-indent: 0px ; margin-top: .25em ; } p.alias { font-family: arial,sans-serif ; font-style: normal ; text-indent: 0px ; margin-top: .25em ; } /* Horizontal rules */ hr /* horizontal rules need a border to be colorized) */ { border: solid 1px #8d8775 ; } div.rule-short /* for section breaks; top/bottom margins set manually */ { display: block ; width: 25% ; margin: auto; clear: both ; } div.rule-medium /* underneath mini-tocs; top/bottom margins set manually */ { display: block ; width: 40% ; margin: auto; clear: both ; } div.rule-long /* precedes nav bar at bottom of page */ { display: block ; width: 90% ; margin: auto; } /* Boxed text */ .box-macro-args /* Macro name+args */ { display: block ; border: solid 1px #302419 ; padding-top: 5px ; padding-bottom: 3px ; padding-left: 15px ; padding-right: 15px ; background-color: #ffffff ; white-space: nowrap ; overflow: auto ; } .box-code { display: block ; width: 100% ; border: solid 1px #302419 ; padding-top: 5px ; padding-bottom: 18px ; padding-left: 15px ; padding-right: 15px ; color: #6f614a ; background-color: #ffffff ; white-space: nowrap ; } .box-tip { outline: solid 1px #ceac8d ; padding-left: 15px ; padding-right: 15px ; text-align: justify ; background-color: #f9f9d9 ; margin-bottom: 1.5em ; } .box-example-layout { outline: solid 1px #ceac8d ; padding-left: 15px ; padding-right: 15px ; text-align: justify ; background-color: #f9f9d9 ; margin-bottom: 2.5em ; } .box-notes { outline: solid 1px #ceac8d ; padding-left: 15px ; padding-right: 15px ; text-align: justify ; background-color: #f9f9d9 ; margin-bottom: 1.5em ; } .box-important { outline: solid 1px #ce7a65 ; padding-left: 15px ; padding-right: 15px ; text-align: justify ; background-color: #f9f9d9 ; margin-bottom: 1.5em ; } p.tip { padding-top: 9px ; padding-bottom: 9px ; text-indent: 0px ; } p.tip-top { padding-top: 9px ; text-indent: 0px ; } p.tip-bottom { padding-bottom: 9px ; text-indent: 0px ; } /* Pre-formatted code */ span.pre /* pre-formatted multi-line blocks; indent must be exactly 2 spaces */ { display: block ; position: relative ; top: -1em ; margin-bottom: -1.5em ; font-family: "Lucida Console",monospace ; font-weight: bolder ; font-size: 95% ; white-space: pre ; overflow: auto ; } span.defaults { margin-left: 6px ; padding-bottom: 1em ; font-size: 95% ; } span.pre-in-pp { display: block ; position: relative ; top: -1em ; margin-bottom: -.5em ; font-family: "Lucida Console",monospace ; font-weight: bolder ; font-size: 95% ; white-space: pre ; overflow: auto ; } span.important { font-family: arial,sans-serif ; font-weight: bolder ; color: #8b0000 ; } span.note { font-family: arial,sans-serif ; font-weight: bolder ; color: #443526 ; } span.additional-note { font-family: arial,sans-serif ; font-weight: bolder ; font-style: italic ; color: #443526 ; } span.tip { font-family: arial,sans-serif ; font-weight: bolder ; color: #443526 ; } span.experts { font-family: arial,sans-serif ; font-weight: bolder ; color: #443526 ; } /* Mini-tocs (usually at top of page) */ /* 1-column, centered mini-toc */ ul.mini-toc-centered { text-align: center ; list-style-type: none ; margin-left: -40px ; } /* 2-column mini-toc column defs*/ .mini-toc-col-1 { float: left ; width: 49% ; margin-left: -10px ; } .mini-toc-col-2 { float: left ; width: 51% ; clear: right ; } /* 3-column mini-toc column defs */ .col-1-definitions { float: left ; width: 32% ; height: 55em ; padding-bottom: 9px; background-color: #ded4bd ; margin-right: 2% ; } .col-2-definitions { float: left ; width: 32% ; height: 55em ; padding-bottom: 9px; background-color: #ded4bd ; margin-right: 2% ; } .col-3-definitions { float: left ; width: 32% ; height: 55em ; padding-bottom: 9px; background-color: #ded4bd ; margin-bottom: 24px ; } /* List styles */ ul.toc { margin-top: .5em ; } ul.no-enumerator { list-style-type: none ; } .list-head { font-family: arial,sans-serif ; font-weight: bolder ; font-size: 110% ; color: #000056 ; } .list-head-goodies { font-family: arial,sans-serif ; font-weight: normal ; font-size: 110% ; color: #000056 ; } .no-anchor { color: #302419 ; font-weight: bold ; } .text-color { color: #302419 ; } li.item { font-family: arial,sans-serif ; font-weight: normal ; font-size: 100% ; margin-left: -10px ; list-style-type: disc ; } .mini-toc { margin-top: -1em ; font-size: 90% ; } .sublist { margin-left: -1em ; font-size: 90% ; color: #302419 ; list-style-type: disc ; } .sub { list-style-type: circle ; } .normal { font-style: normal ; font-size: 100% ; } .normal-smaller { font-weight: normal ; color: #302419 ; font-size: 90% ; } .normal-sub-sub { font-weight: normal ; color: #302419 ; font-size: 90% ; } /* Macro lists / defaults */ div.macro-list-container { background-color: #ded4bd ; margin-bottom: 1.5em ; } h3.macro-list { font-size: 100% ; color: #000056 ; text-transform: uppercase ; padding: 9px ; } ul.macro-list { margin-left: -21px ; padding-right: 12px ; list-style-type: none ; font-family: arial,sans-serif ; margin-top: -1.25em ; padding-bottom: 6px ; } ol.macro-list { font-family: arial,sans-serif ; margin-top: -1.25em ; padding-bottom: 6px ; } .defaults-container { background-color: #e3d2b1 ; border: 1px solid #3f2c00 ; margin-bottom: 2.5em ; } h3.defaults { font-size: 100% ; color: #000056 ; text-transform: uppercase ; padding: 9px ; } p.defaults { margin-top: .25em ; margin-left: 6px ; margin-right: 12px ; margin-bottom: 0 ; } #toc-title, #toc-head, #toc-subhead, #toc-parahead { display: block ; margin-top: -1em ; margin-bottom: -1em ; } /* Bottom of page spacer */ div.bottom-spacer { display: block ; height: 24px ; } /* General markup */ kbd { font-family: "Lucida Console",monospace ; font-weight: bold ; font-size: 98% ; } kbd.macro-args { margin-right: .5em ; color: #6f614a ; white-space: nowrap ; overflow: auto ; } /* tocs */ h1.toc { font-family: arial,sans-serif ; font-size: 175% ; text-align: center ; color: #002b56 ; background-color: #e2f1ff ; outline: solid 1px #99cccc ; padding: 6px ; } h2.toc { font-size: 120% ; color: #000056 ; } h3.toc { margin-top: -.5em ; margin-bottom: -.5em ; font-size: 100% ; color: #6e70cc ; } .highlight { font-weight: bold ; } .fourth-level { margin-left: -1.25em ; list-style-type: none ; } ul.toc-docproc { margin-left: -1em ; } .toc-docproc-header { margin-top: -.5em ; text-transform: uppercase ; } a.header-link { color: #6e70cc ; font-size: 95% ; } /* Examples */ .examples-container { border: solid 1px #917963 ; background-color: #f9f9d9 ; padding-left: 24px ; padding-right: 24px ; padding-top: 3px ; padding-bottom: 3px ; } .examples { font-weight: bolder ; font-size: 98% ; color: #524b3f ; margin-top: 12px ; margin-bottom: 3px ; } /* definitions.html */ table.definitions /* mini-toc is set up as a table */ { margin-top: 12px ; text-align: left ; margin-left: 12px ; } th.definitions { padding-bottom: 6px ; font-size: 120% ; color: #000056 ; } dt /* definition terms in italic*/ { font-style: italic ; } dt.no-italic { font-style: normal ; } /* Tables */ table.quick-ref { margin-top: .25em ; } table.quick-ref, th.quick-ref { padding-bottom: .25em ; font-family: "Lucida Console",monospace ; font-weight: bold ; text-align: left ; } td { padding: 0 ; padding-left: .5em ; } /* Misc */ span.book-title { font-style: italic ; } dt.params { font-style: normal ; font-weight: bold ; } dd.cover-args { margin-bottom: .25em; margin-left: 1.25em ; }