diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2020-03-15 21:06:45 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2020-03-15 21:06:45 +0000 |
commit | 8445f946acffd7a60e122dc9f229850856425798 (patch) | |
tree | 69691daee6f78f37b22a845dd75712978c333611 /Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css | |
parent | f103e364e1ee6db020b35e817f86074c0e7c336f (diff) |
texworks 0.6.4
git-svn-id: svn://tug.org/texlive/trunk@54323 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css')
-rw-r--r-- | Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css | 191 |
1 files changed, 76 insertions, 115 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css index e90baefbaab..f52508989ff 100644 --- a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css +++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index.css @@ -2,19 +2,22 @@ /* index.css from index.tex (TeX4ht) */ @import "manual.css"; /* start css.sty */ -.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,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} +.ec-lmtt-12{ font-family: monospace,monospace;} .ec-lmr-10{font-size:83%;} .ts1-lmr10-{font-size:83%;} -.lmmi-10{font-size:83%;} .lmsy-10{font-size:83%;} +.ec-lmr-8{font-size:66%;} .ec-lmr-10x-x-109{font-size:90%;} .ec-lmss-10{font-size:83%; font-family: sans-serif;} .ec-lmss-10{ font-family: sans-serif;} @@ -25,25 +28,23 @@ .ec-lmss-10{ font-family: sans-serif;} .ec-lmss-10{ font-family: sans-serif;} .ec-lmss-10{ font-family: sans-serif;} -.ec-lmtt-10x-x-109{font-size:90%; 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;} -.ts1-lmtt10-x-x-109{font-size:90%;} -.ec-lmtt-10{font-size:83%; font-family: monospace;} -.ec-lmtt-10{ font-family: monospace;} -.ec-lmtt-10{ font-family: monospace;} -.ec-lmtt-10{ font-family: monospace;} -.ec-lmtt-10{ font-family: monospace;} -.ec-lmtt-10{ font-family: monospace;} -.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-lmtt-10x-x-109{font-size:90%; font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmtt-10x-x-109{ font-family: monospace,monospace;} +.ec-lmbx-12{ font-weight: bold;} +.ec-lmbx-12{ font-weight: bold;} .ec-lmbx-12{ font-weight: bold;} .ec-lmbx-12{ font-weight: bold;} .ec-lmbx-12{ font-weight: bold;} @@ -53,6 +54,24 @@ .ec-lmbx-12{ font-weight: bold;} .ec-lmbx-12{ font-weight: bold;} .ec-lmbx-12{ font-weight: bold;} +.ec-lmbx-12{ font-weight: bold;} +.ec-lmr-7{font-size:58%;} +.ts1-lmtt10-x-x-109{font-size:90%;} +.ec-lmtt-10{font-size:83%; font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmtt-10{ font-family: monospace,monospace;} +.ec-lmro-12{ font-style: oblique;} +.ec-lmro-12{ font-style: oblique;} +.ec-lmro-12{ font-style: oblique;} .ec-lmro-12{ font-style: oblique;} .ec-lmro-12{ font-style: oblique;} .ec-lmro-12{ font-style: oblique;} @@ -62,13 +81,24 @@ .ec-lmro-12{ font-style: oblique;} .ec-lmro-12{ font-style: oblique;} .ec-lmro-12{ font-style: oblique;} -.htf-calligraphy {font-family:cursive} -.htf-calligraphy-bold {font-family:cursive ; font-weight: bold; } +.ec-lmbx-10{font-size:83%; 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;} @media print {span.next {visibility:hidden;}} -p.noindent { text-indent: 0em } -td p.noindent { text-indent: 0em; margin-top:0em; } -p.nopar { text-indent: 0em; } -p.indent{ text-indent: 1.5em } +p{margin-top:0;margin-bottom:0} +p.indent{text-indent:0;} +p + p{margin-top:1em;} +p + div, p + pre {margin-top:1em;} +div + p, pre + p {margin-top:1em;} @media print {div.crosslinks {visibility:hidden;}} a img { border-top: 0; border-left: 0; border-right: 0; } center { margin-top:1em; margin-bottom:1em; } @@ -91,7 +121,7 @@ div.obeylines-v p { margin-top:0; margin-bottom:0; } td.displaylines {text-align:center; white-space:nowrap;} .centerline {text-align:center;} .rightline {text-align:right;} -div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; } +div.verbatim {font-family: monospace,monospace; white-space: nowrap; text-align:left; clear:both; } .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } div.fbox {display:table} div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } @@ -124,18 +154,16 @@ td.td01{ padding-left:0pt; padding-right:5pt; } td.td10{ padding-left:5pt; padding-right:0pt; } td.td11{ padding-left:5pt; padding-right:5pt; } table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } -.hline hr, .cline hr{ height : 1px; margin:0px; } +.hline hr, .cline hr{ height : 0px; margin:0px; } +.hline td, .cline td{ padding: 0; } +.hline hr, .cline hr{border:none;border-top:1px solid black;} .tabbing-right {text-align:right;} -span.TEX {letter-spacing: -0.125em; } -span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;} -a span.TEX span.E {text-decoration: none; } -span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;} -span.LATEX span.TEX{ position:relative; left: -0.4em; } div.float, div.figure {margin-left: auto; margin-right: auto;} div.float img {text-align:center;} div.figure img {text-align:center;} -.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;} -.marginpar p{margin-top:0.4em; margin-bottom:0.4em;} +.marginpar,.reversemarginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;} +.marginpar p,.reversemarginpar p{margin-top:0.4em; margin-bottom:0.4em;} +.reversemarginpar{float:left;} table.equation {width:100%;} .equation td{text-align:center; } td.equation { margin-top:1em; margin-bottom:1em; } @@ -185,9 +213,6 @@ h1.partHead{text-align: center} .likesubsectionToc ~ .subsubsectionToc, .subsectionToc ~ .subsubsectionToc {margin-left:2em;} .rotatebox{display: inline-block;} .figure img.graphics {margin-left:10%;} -.frenchb-nbsp{font-size:75%;} -.frenchb-thinspace{font-size:75%;} -sup.french{ vertical-align:super; font-size:70%; } .equation td{text-align:center; } .equation-star td{text-align:center; } table.equation-star { width:100%; } @@ -223,10 +248,13 @@ td.td01{ padding-left:0pt; padding-right:5pt; } td.td10{ padding-left:5pt; padding-right:0pt; } td.td11{ padding-left:5pt; padding-right:5pt; } table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } -.hline hr, .cline hr{ height : 1px; margin:0px; } +.hline hr, .cline hr{ height : 0px; margin:0px; } +.hline td, .cline td{ padding: 0; } +.hline hr, .cline hr{border:none;border-top:1px solid black;} div.array {text-align:center;} table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } div.longtable{text-align:center;} +table.longtable{margin-left:auto; margin-right: auto;} div#fancyvrb1{padding:5.16667pt;} div#fancyvrb1{ border-top: solid 0.4pt; } div#fancyvrb1{ border-bottom: solid 0.4pt; } @@ -269,72 +297,5 @@ div#fancyvrb13{ border-bottom: solid 0.4pt; } div#fancyvrb14{padding:5.16667pt;} div#fancyvrb14{ border-top: solid 0.4pt; } div#fancyvrb14{ border-bottom: solid 0.4pt; } -div#fancyvrb15{padding:5.16667pt;} -div#fancyvrb15{ border-top: solid 0.4pt; } -div#fancyvrb15{ border-bottom: solid 0.4pt; } -div#fancyvrb16{padding:5.16667pt;} -div#fancyvrb16{ border-top: solid 0.4pt; } -div#fancyvrb16{ border-bottom: solid 0.4pt; } -div#fancyvrb17{padding:5.16667pt;} -div#fancyvrb17{ border-top: solid 0.4pt; } -div#fancyvrb17{ border-bottom: solid 0.4pt; } -div#fancyvrb18{padding:5.16667pt;} -div#fancyvrb18{ border-top: solid 0.4pt; } -div#fancyvrb18{ border-bottom: solid 0.4pt; } -div#fancyvrb19{padding:5.16667pt;} -div#fancyvrb19{ border-top: solid 0.4pt; } -div#fancyvrb19{ border-bottom: solid 0.4pt; } -div#fancyvrb20{padding:5.16667pt;} -div#fancyvrb20{ border-top: solid 0.4pt; } -div#fancyvrb20{ border-bottom: solid 0.4pt; } -div#fancyvrb21{padding:5.16667pt;} -div#fancyvrb21{ border-top: solid 0.4pt; } -div#fancyvrb21{ border-bottom: solid 0.4pt; } -div#fancyvrb22{padding:5.16667pt;} -div#fancyvrb22{ border-top: solid 0.4pt; } -div#fancyvrb22{ border-bottom: solid 0.4pt; } -tr#TBL-1-1- td{border-bottom:0.13156em solid} -tr#TBL-1-3- td{border-bottom:0.08223em solid} -tr#TBL-1-38- td{border-bottom:0.13156em solid} -tr#TBL-2-1- td{border-bottom:0.13156em solid} -tr#TBL-2-3- td{border-bottom:0.08223em solid} -tr#TBL-2-18- td{border-bottom:0.13156em solid} -tr#TBL-3-1- td{border-bottom:0.13156em solid} -tr#TBL-3-3- td{border-bottom:0.08223em solid} -tr#TBL-3-33- td{border-bottom:0.13156em solid} -tr#TBL-4-1- td{border-bottom:0.13156em solid} -tr#TBL-4-42- td{border-bottom:0.13156em solid} -tr#TBL-5-1- td{border-bottom:0.13156em solid} -tr#TBL-5-10- td{border-bottom:0.08223em solid} -tr#TBL-5-18- td{border-bottom:0.08223em solid} -tr#TBL-5-27- td{border-bottom:0.08223em solid} -tr#TBL-5-31- td{border-bottom:0.08223em solid} -tr#TBL-5-35- td{border-bottom:0.08223em solid} -tr#TBL-5-42- td{border-bottom:0.08223em solid} -tr#TBL-5-45- td{border-bottom:0.08223em solid} -tr#TBL-5-52- td{border-bottom:0.13156em solid} -tr#TBL-6-1- td{border-bottom:0.13156em solid} -tr#TBL-6-7- td{border-bottom:0.08223em solid} -tr#TBL-6-12- td{border-bottom:0.08223em solid} -tr#TBL-6-16- td{border-bottom:0.08223em solid} -tr#TBL-6-20- td{border-bottom:0.08223em solid} -tr#TBL-6-23- td{border-bottom:0.08223em solid} -tr#TBL-6-26- td{border-bottom:0.08223em solid} -tr#TBL-6-35- td{border-bottom:0.08223em solid} -tr#TBL-6-40- td{border-bottom:0.13156em solid} -div#fancyvrb23{padding:5.16667pt;} -div#fancyvrb23{ border-top: solid 0.4pt; } -div#fancyvrb23{ border-bottom: solid 0.4pt; } -tr#TBL-7-1- td{border-bottom:0.13156em solid} -tr#TBL-7-60- td{border-bottom:0.13156em solid} -tr#TBL-8-1- td{border-bottom:0.13156em solid} -tr#TBL-8-480- td{border-bottom:0.13156em solid} -tr#TBL-9-1- td{border-top:0.13156em solid} -tr#TBL-9-1- td{border-bottom:0.08223em solid} -tr#TBL-9-16- td{border-bottom:0.13156em solid} -tr#TBL-10-1- td{border-top:0.13156em solid} -tr#TBL-10-7- td{border-bottom:0.13156em solid} -tr#TBL-11-1- td{border-top:0.13156em solid} -tr#TBL-11-6- td{border-bottom:0.13156em solid} /* end css.sty */ |