summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css')
-rw-r--r--Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css170
1 files changed, 103 insertions, 67 deletions
diff --git a/Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css b/Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css
index 0581f0a1a53..86f6de1a936 100644
--- a/Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css
+++ b/Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css
@@ -1,19 +1,86 @@
/* start css.sty */
-.ec-lmr-17{font-size:170%;}
-.ec-lmr-12{font-size:120%;}
-.ec-lmtt-12{font-size:120%; font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
-.ec-lmtt-12{ font-family: monospace;}
+.ec-lmr-10x-x-109{}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmss-10x-x-109{ font-family: sans-serif;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-109{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{font-size:188%; font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmssbx-10x-x-207{ font-family: sans-serif; font-weight: bold;}
+.ec-lmr-12x-x-120{font-size:130%;}
+.ec-lmtt-12x-x-120{font-size:130%; font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-12x-x-120{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmtt-10x-x-109{ font-family: monospace;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmbx-10x-x-109{ font-weight: bold;}
+.ec-lmtt-10{font-size:90%; font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
@@ -26,43 +93,27 @@
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
.ec-lmtt-10{ font-family: monospace;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmss-10{ font-family: sans-serif;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmbx-10{ font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmssbx-10{ font-family: sans-serif; font-weight: bold;}
-.ec-lmtt-9{font-size:90%; font-family: monospace;}
+.rm-lmr-8x-x-103{font-size:74%;}
+.lmmi-10x-x-109{}
+.lmmi-8x-x-103{font-size:74%;}
+.lmsy-10x-x-109{}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmri-10x-x-109{ font-style:italic;}
+.ec-lmr-10{font-size:90%;}
+.ec-lmr-9{font-size:81%;}
+.ec-lmtt-9{font-size:81%; font-family: monospace;}
+.ec-lmtt-9{ font-family: monospace;}
.ec-lmtt-9{ font-family: monospace;}
.ec-lmtt-9{ font-family: monospace;}
.ec-lmtt-9{ font-family: monospace;}
@@ -74,22 +125,6 @@
.ec-lmtt-9{ font-family: monospace;}
.ec-lmtt-9{ font-family: monospace;}
.ec-lmtt-9{ font-family: monospace;}
-.rm-lmr-8x-x-95{font-size:76%;}
-.lmmi-8x-x-95{font-size:76%;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmri-10{ font-style:italic;}
-.ec-lmr-9{font-size:90%;}
-.ec-lmr-8{font-size:80%;}
p.noindent { text-indent: 0em }
td p.noindent { text-indent: 0em; margin-top:0em; }
p.nopar { text-indent: 0em; }
@@ -198,6 +233,7 @@ div.thanks{text-align:left; margin-left:10%; font-size:85%; font-style:italic; }
.quotation {margin-bottom:0.25em; margin-top:0.25em; margin-left:1em; }
.abstract p {margin-left:5%; margin-right:5%;}
div.abstract {width:100%;}
+span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript{ font-size:80%; }
table.multicols { width:100%; margin-left:1em; margin-top:1em; margin-bottom:1em; }
.equation td{text-align:center; }
.equation-star td{text-align:center; }