summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/texlive/texlive-es
diff options
context:
space:
mode:
authorCarlos Enriquez Figueras <linguafalsa@gmail.com>2018-03-30 10:56:12 +0000
committerCarlos Enriquez Figueras <linguafalsa@gmail.com>2018-03-30 10:56:12 +0000
commitc993ce2bd7641aa0ea7f3942a0a43f82640e7fdd (patch)
tree0cd31d637d87867c609c65827cb451d06af276fe /Master/texmf-dist/doc/texlive/texlive-es
parentd9e0e3089586ca90019eb620cd6b4805725bda64 (diff)
added css file
git-svn-id: svn://tug.org/texlive/trunk@47189 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/texlive/texlive-es')
-rw-r--r--Master/texmf-dist/doc/texlive/texlive-es/tex-live.css44
1 files changed, 44 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/texlive/texlive-es/tex-live.css b/Master/texmf-dist/doc/texlive/texlive-es/tex-live.css
new file mode 100644
index 00000000000..b8aa763a0df
--- /dev/null
+++ b/Master/texmf-dist/doc/texlive/texlive-es/tex-live.css
@@ -0,0 +1,44 @@
+/* $Id: tex-live.css 3436 2007-01-13 22:34:01Z karl $
+ 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);
+}