diff options
Diffstat (limited to 'Master/texmf-dist/doc/support/latex2man/latex2man.css')
-rw-r--r-- | Master/texmf-dist/doc/support/latex2man/latex2man.css | 121 |
1 files changed, 121 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/latex2man/latex2man.css b/Master/texmf-dist/doc/support/latex2man/latex2man.css new file mode 100644 index 00000000000..f2c8e676cc0 --- /dev/null +++ b/Master/texmf-dist/doc/support/latex2man/latex2man.css @@ -0,0 +1,121 @@ +/* + * Project: Documentation Tools + * Descr: Latex --> MAN-page (groff -man), LATEX documentation + * CSS example definition, provided by Tom Brand <tbrand@manumit-systems.com> + * Author: Dr. Jürgen Vollmer, Juergen.Vollmer@informatik-vollmer.de + * $Id: latex2man.css,v 1.1 2010/12/22 08:31:45 vollmer Exp $ + */ +body +{ + background: #DDDDDD; +} +.titlehead +{ + text-align: center; + color: maroon; +} +.datehead +{ + text-align: center; + color: maroon; + font-size: 8pt; +} +.authorhead +{ + text-align: center; + color: maroon; + font-size: 8pt; +} +.versionhead +{ + text-align: center; + color: maroon; + font-size: 8pt; +} +.sectionname +{ + color: #0077EE; + font-variant: small-caps; +} +.subsectionname +{ + color: #1111EE; +} +.subsubsectionname +{ + color: #3333EE; +} +.progname +{ + font-family: "monospace"; +} +.filename +{ + font-family: "monospace"; + color: blue; +} +.commandname +{ + font-family: "monospace"; + color: green; +} +.textstyle +{ + font-size: 9pt; +} +.optstyle +{ + font-weight: bold; +} +.argstyle +{ + font-style: italic; +} +.urlstyle +{ + color: #0033BB; + font-weight: bold; + text-decoration: none; +} +.urlstyle.link +{ +} +.urlstyle:visited +{ + color: #BB3300; +} +.urlstyle:hover +{ + background-color: #C0C0C0; + padding: 0.1em 0em 0.1em 0em; +} +.emailstyle +{ + color: #0033BB; + font-weight: bold; + text-decoration: none; +} +.emailstyle.link +{ +} +.emailstyle.visited +{ + color: #BB3300; +} +.emailstyle.hover +{ + background-color: #C0C0C0; + padding: 0.1em 0em 0.1em 0em; +} +.tablestyle +{ + border: 1px solid green; +} +.rowstyle +{ + background: #DDEEFF; +} +.cellstyle +{ + padding: 5px 7px 0px 0px; +} |