summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2013-04-07 18:26:53 +0000
committerKarl Berry <karl@freefriends.org>2013-04-07 18:26:53 +0000
commitb04c2e1a42573e9735547702356c7b9a769a6855 (patch)
treec0753443f39500a062d7698fe6b94359c813f871 /Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css
parentfb0bf13304a356f197bfc1add17f98c07e96f17b (diff)
texmf -> texmf-dist: doc
git-svn-id: svn://tug.org/texlive/trunk@29714 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css')
-rw-r--r--Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css44
1 files changed, 44 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css b/Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css
new file mode 100644
index 00000000000..5062bc0d229
--- /dev/null
+++ b/Master/texmf-dist/doc/texlive/texlive-cz/tex-live.css
@@ -0,0 +1,44 @@
+/* $Id$
+ Simple CSS for TeX Live that adds margins and a little color.
+ original by Bzyl Wlodzimierz, edited by Karl Berry, 2005.
+ Public domain. */
+
+html {
+ // top left bottom right
+ margin: 15pt 15pt 15pt 15pt;
+ background: rgb(255,255,224);
+}
+
+body {
+ margin: 0 5pt 0 5pt;
+ padding: 0;
+ //matw: background: rgb(224,255,224);
+ // (It looks better to me to have a consistent background --karl)
+// fonts in browser are low resolution;
+// therefore generated serif are poor quality,
+// so they disturb reading (that is my opinion)
+ font-family: sans-serif;
+ font-style: normal;
+}
+
+/* (It looks better to me to not vary colors at every level --karl) */
+
+h3.sectionHead {
+ padding: 12pt 10pt 12pt 20pt;
+ //matw: background: rgb(192,224,255);
+ background: rgb(224,224,255);
+ color: rgb(0,0,32);
+}
+
+h4.subsectionHead {
+ padding: 7pt 10pt 7pt 40pt;
+ background: rgb(224,224,255);
+ color: rgb(0,0,32);
+}
+
+h5.subsubsectionHead {
+ padding: 3pt 10pt 3pt 40pt;
+ //matw: background: rgb(224,255,255);
+ background: rgb(224,224,255);
+ color: rgb(0,0,32);
+}