diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css')
-rw-r--r-- | Master/texmf-dist/doc/latex/probsoln/probsoln-manual.css | 170 |
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; } |