version 1.34, 2018/06/25 13:01:19 |
version 1.42, 2018/12/04 06:11:49 |
|
|
/* $Id$ */ |
/* $Id$ */ |
/* |
/* |
* Standard style sheet for mandoc(1) -Thtml and man.cgi(8). |
* Standard style sheet for mandoc(1) -Thtml and man.cgi(8). |
|
* |
|
* Written by Ingo Schwarze <schwarze@openbsd.org>. |
|
* I place this file into the public domain. |
|
* Permission to use, copy, modify, and distribute it for any purpose |
|
* with or without fee is hereby granted, without any conditions. |
*/ |
*/ |
|
|
/* Global defaults. */ |
/* Global defaults. */ |
|
|
html { max-width: 65em; } |
html { max-width: 65em; } |
body { font-family: Helvetica,Arial,sans-serif; } |
body { font-family: Helvetica,Arial,sans-serif; } |
table { margin-top: 0em; |
table { margin-top: 0em; |
margin-bottom: 0em; } |
margin-bottom: 0em; |
td { vertical-align: top; } |
border-collapse: collapse; } |
|
/* Some browsers set border-color in a browser style for tbody, |
|
* but not for table, resulting in inconsistent border styling. */ |
|
tbody { border-color: inherit; } |
|
tr { border-color: inherit; } |
|
td { vertical-align: top; |
|
padding-left: 0.2em; |
|
padding-right: 0.2em; |
|
border-color: inherit; } |
ul, ol, dl { margin-top: 0em; |
ul, ol, dl { margin-top: 0em; |
margin-bottom: 0em; } |
margin-bottom: 0em; } |
li, dt { margin-top: 1em; } |
li, dt { margin-top: 1em; } |
|
|
a.permalink { border-bottom: thin dotted; |
.permalink { border-bottom: thin dotted; |
color: inherit; |
color: inherit; |
font: inherit; |
font: inherit; |
text-decoration: inherit; } |
text-decoration: inherit; } |
Line 50 td.foot-os { text-align: right; } |
|
Line 63 td.foot-os { text-align: right; } |
|
|
|
/* Sections and paragraphs. */ |
/* Sections and paragraphs. */ |
|
|
div.manual-text { |
.manual-text { |
margin-left: 3.8em; } |
margin-left: 3.8em; } |
.Nd { display: inline; } |
.Nd { display: inline; } |
.Sh { margin-top: 2ex; |
.Sh { margin-top: 1.2em; |
margin-bottom: 1ex; |
margin-bottom: 0.6em; |
margin-left: -3.2em; |
margin-left: -3.2em; |
font-size: 110%; } |
font-size: 110%; } |
.Ss { margin-top: 2ex; |
.Ss { margin-top: 1.2em; |
margin-bottom: 1ex; |
margin-bottom: 0.6em; |
margin-left: -1.2em; |
margin-left: -1.2em; |
font-size: 105%; } |
font-size: 105%; } |
.Pp { margin: 1ex 0ex; } |
.Pp { margin: 0.6em 0em; } |
.Sx { } |
.Sx { } |
.Xr { } |
.Xr { } |
|
|
Line 70 div.manual-text { |
|
Line 83 div.manual-text { |
|
.Bd { } |
.Bd { } |
.Bd-indent { margin-left: 3.8em; } |
.Bd-indent { margin-left: 3.8em; } |
|
|
ul.Bl-bullet { list-style-type: disc; |
.Bl-bullet { list-style-type: disc; |
padding-left: 1em; } |
padding-left: 1em; } |
ul.Bl-bullet > li { } |
.Bl-bullet > li { } |
ul.Bl-dash { list-style-type: none; |
.Bl-dash { list-style-type: none; |
padding-left: 0em; } |
padding-left: 0em; } |
ul.Bl-dash > li:before { |
.Bl-dash > li:before { |
content: "\2014 "; } |
content: "\2014 "; } |
ul.Bl-item { list-style-type: none; |
.Bl-item { list-style-type: none; |
padding-left: 0em; } |
padding-left: 0em; } |
ul.Bl-item > li { } |
.Bl-item > li { } |
ul.Bl-compact > li { |
.Bl-compact > li { |
margin-top: 0em; } |
margin-top: 0em; } |
|
|
ol.Bl-enum { padding-left: 2em; } |
.Bl-enum { padding-left: 2em; } |
ol.Bl-enum > li { } |
.Bl-enum > li { } |
ol.Bl-compact > li { |
.Bl-compact > li { |
margin-top: 0em; } |
margin-top: 0em; } |
|
|
dl.Bl-diag { } |
.Bl-diag { } |
dl.Bl-diag > dt { |
.Bl-diag > dt { |
font-style: normal; |
font-style: normal; |
font-weight: bold; } |
font-weight: bold; } |
dl.Bl-diag > dd { |
.Bl-diag > dd { |
margin-left: 0em; } |
margin-left: 0em; } |
dl.Bl-hang { } |
.Bl-hang { } |
dl.Bl-hang > dt { } |
.Bl-hang > dt { } |
dl.Bl-hang > dd { |
.Bl-hang > dd { |
margin-left: 5.5em; } |
margin-left: 5.5em; } |
dl.Bl-inset { } |
.Bl-inset { } |
dl.Bl-inset > dt { } |
.Bl-inset > dt { } |
dl.Bl-inset > dd { |
.Bl-inset > dd { |
margin-left: 0em; } |
margin-left: 0em; } |
dl.Bl-ohang { } |
.Bl-ohang { } |
dl.Bl-ohang > dt { } |
.Bl-ohang > dt { } |
dl.Bl-ohang > dd { |
.Bl-ohang > dd { |
margin-left: 0em; } |
margin-left: 0em; } |
dl.Bl-tag { margin-left: 5.5em; } |
.Bl-tag { margin-left: 5.5em; } |
dl.Bl-tag > dt { |
.Bl-tag > dt { |
float: left; |
float: left; |
margin-top: 0em; |
margin-top: 0em; |
margin-left: -5.5em; |
margin-left: -5.5em; |
padding-right: 1.2em; |
padding-right: 0.5em; |
vertical-align: top; } |
vertical-align: top; } |
dl.Bl-tag > dd { |
.Bl-tag > dd { |
clear: right; |
clear: right; |
width: 100%; |
width: 100%; |
margin-top: 0em; |
margin-top: 0em; |
margin-left: 0em; |
margin-left: 0em; |
vertical-align: top; |
vertical-align: top; |
overflow: auto; } |
overflow: auto; } |
dl.Bl-compact > dt { |
.Bl-compact > dt { |
margin-top: 0em; } |
margin-top: 0em; } |
|
|
table.Bl-column { } |
.Bl-column { } |
table.Bl-column > tbody > tr { } |
.Bl-column > tbody > tr { } |
table.Bl-column > tbody > tr > td { |
.Bl-column > tbody > tr > td { |
margin-top: 1em; } |
margin-top: 1em; } |
table.Bl-compact > tbody > tr > td { |
.Bl-compact > tbody > tr > td { |
margin-top: 0em; } |
margin-top: 0em; } |
|
|
.Rs { font-style: normal; |
.Rs { font-style: normal; |
Line 151 table.Bl-compact > tbody > tr > td { |
|
Line 164 table.Bl-compact > tbody > tr > td { |
|
.RsV { } |
.RsV { } |
|
|
.eqn { } |
.eqn { } |
.tbl { } |
.tbl td { vertical-align: middle; } |
|
|
.HP { margin-left: 3.8em; |
.HP { margin-left: 3.8em; |
text-indent: -3.8em; } |
text-indent: -3.8em; } |
|
|
/* Overrides to avoid excessive margins on small devices. */ |
/* Overrides to avoid excessive margins on small devices. */ |
|
|
@media (max-width: 37.5em) { |
@media (max-width: 37.5em) { |
div.manual-text { |
.manual-text { |
margin-left: 0.5em; } |
margin-left: 0.5em; } |
.Sh, .Ss { margin-left: 0em; } |
.Sh, .Ss { margin-left: 0em; } |
.Bd-indent { margin-left: 2em; } |
.Bd-indent { margin-left: 2em; } |
dl.Bl-hang > dd { |
.Bl-hang > dd { |
margin-left: 2em; } |
margin-left: 2em; } |
dl.Bl-tag { margin-left: 2em; } |
.Bl-tag { margin-left: 2em; } |
dl.Bl-tag > dt { |
.Bl-tag > dt { |
margin-left: -2em; } |
margin-left: -2em; } |
.HP { margin-left: 2em; |
.HP { margin-left: 2em; |
text-indent: -2em; } |
text-indent: -2em; } |