summaryrefslogtreecommitdiff
path: root/Master/texmf-doc/source/french/texlive-fr/tex-live.css
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2005-12-29 00:12:56 +0000
committerKarl Berry <karl@freefriends.org>2005-12-29 00:12:56 +0000
commitf968602334f05855ab341527e14d618d8178614b (patch)
tree7b7c2e03ce7dc402ac43ff13e6fc5c81cb84b171 /Master/texmf-doc/source/french/texlive-fr/tex-live.css
parent63f6de2319e769e12b29379025de08e3395edb31 (diff)
trunk/Master
git-svn-id: svn://tug.org/texlive/trunk@11 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-doc/source/french/texlive-fr/tex-live.css')
-rw-r--r--Master/texmf-doc/source/french/texlive-fr/tex-live.css44
1 files changed, 44 insertions, 0 deletions
diff --git a/Master/texmf-doc/source/french/texlive-fr/tex-live.css b/Master/texmf-doc/source/french/texlive-fr/tex-live.css
new file mode 100644
index 00000000000..5062bc0d229
--- /dev/null
+++ b/Master/texmf-doc/source/french/texlive-fr/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);
+}