summaryrefslogtreecommitdiff
path: root/support/latex2man/latex2man.css
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/latex2man/latex2man.css
Initial commit
Diffstat (limited to 'support/latex2man/latex2man.css')
-rw-r--r--support/latex2man/latex2man.css121
1 files changed, 121 insertions, 0 deletions
diff --git a/support/latex2man/latex2man.css b/support/latex2man/latex2man.css
new file mode 100644
index 0000000000..f2c8e676cc
--- /dev/null
+++ b/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;
+}