File: //usr/share/doc/groff-base/html/mom/stylesheet.css
/* Copyright (C) 2004-2018 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 */
/* <http://www.gnu.org/licenses/gpl-2.0.html> */
/* 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: 760px ;
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 ;
}
/* 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 ;
width: 736px ;
max-width: 736px ;
border: solid 1px #302419 ;
padding-top: 5px ;
padding-bottom: 3px ;
padding-left: 12px ;
padding-right: 12px ;
background-color: #ffffff ;
white-space: nowrap ;
overflow: auto ;
}
.box-code
{
display: block ;
width: 679px ;
max-width: 679px ;
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 ;
}