diff options
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css')
-rw-r--r-- | Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css | 163 |
1 files changed, 127 insertions, 36 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css index b3e58dfddcb..17a4bb6f4f1 100644 --- a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css +++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css @@ -1,36 +1,127 @@ -.li-itemize{margin:1ex 0ex;} -.li-enumerate{margin:1ex 0ex;} -.dd-description{margin:0ex 0ex 1ex 4ex;} -.dt-description{margin:0ex;} -.toc{list-style:none;} -.thefootnotes{text-align:left;margin:0ex;} -.dt-thefootnotes{margin:0em;} -.dd-thefootnotes{margin:0em 0em 0em 2em;} -.footnoterule{margin:1em auto 1em 0px;width:50%;} -.caption{padding-left:2ex; padding-right:2ex; margin-left:auto; margin-right:auto} -.title{margin:2ex auto;text-align:center} -.center{text-align:center;margin-left:auto;margin-right:auto;} -.flushleft{text-align:left;margin-left:0ex;margin-right:auto;} -.flushright{text-align:right;margin-left:auto;margin-right:0ex;} -DIV TABLE{margin-left:inherit;margin-right:inherit;} -PRE{text-align:left;margin-left:0ex;margin-right:auto;} -BLOCKQUOTE{margin-left:4ex;margin-right:4ex;text-align:left;} -TD P{margin:0px;} -.boxed{border:1px solid black} -.textboxed{border:1px solid black} -.vbar{border:none;width:2px;background-color:black;} -.hbar{border:none;height:2px;width:100%;background-color:black;} -.hfill{border:none;height:1px;width:200%;background-color:black;} -.vdisplay{border-collapse:separate;border-spacing:2px;width:auto; empty-cells:show; border:2px solid red;} -.vdcell{white-space:nowrap;padding:0px;width:auto; border:2px solid green;} -.display{border-collapse:separate;border-spacing:2px;width:auto; border:none;} -.dcell{white-space:nowrap;padding:0px;width:auto; border:none;} -.dcenter{margin:0ex auto;} -.vdcenter{border:solid #FF8000 2px; margin:0ex auto;} -.minipage{text-align:left; margin-left:0em; margin-right:auto;} -.marginpar{border:solid thin black; width:20%; text-align:left;} -.marginparleft{float:left; margin-left:0ex; margin-right:1ex;} -.marginparright{float:right; margin-left:1ex; margin-right:0ex;} -.theorem{text-align:left;margin:1ex auto 1ex 0ex;} -.part{margin:2ex auto;text-align:center} -p {text-align: justify;} +body { + font-size: 15px; + line-height: 1.6em; /* 24 px */ +} +h3 { + margin: 0; + font-size: 1.2666666666666666em; + line-height: 1.263157894736842em; + margin-top: 1.263157894736842em; +} +h4 { + margin: 0; + font-size: 1.1333333333333333em; + line-height: 1.411764705882353em; + margin-top: 1.411764705882353em; +} +p, ul, blockquote, pre, td, th, label { + margin: 0; + font-size: 1em; + line-height: 1.6em; + text-align: justify; +} + +div#container { + max-width: 80ex; + margin-left: auto; + margin-right: auto; +} + +h1 { + background-Color: lightgray; + padding-top: 4ex; + padding-bottom: .5ex; + padding-right: .5ex; + text-align: right; + font-family: sans-serif; + font-size: 2em; +} +div.chapternumber { + float: right; + margin-top: .3ex; + margin-right: -.3em; + font-size: 6em; + color: gray; + font-family: serif; + font-weight: normal; + font-style: italic; + text-shadow: #ffffff 0px 0px 10px; +} + +div.OSspecific { border-left: 4px solid #555753; margin-left: -8px; padding-left: 4px; min-height: 48px; margin-bottom: .5ex;} + +div.OSspecificLogo { + background-repeat: no-repeat; + width: 48px; + height: 48px; + float: left; + margin-left: -56px; +} + +div.OSLinux { background-image: url(images/Linux.png); } +div.OSMac { background-image: url(images/Mac.png); } +div.OSWindows { background-image: url(images/Windows.png); } + +div.example { + margin-left: -65px; + padding-left: 65px; + background-image: url(images/example.png); + background-repeat: no-repeat; + min-height: 50px; +} + +span.path, span.verb { + font-family: monospace; + font-size: 90%; +} +span.sansserif { + font-family: sans-serif; + font-size: 90%; +} + +div.example p { margin: 0px; } + +span.keystroke { + border: 2px outset black; + padding: 0px 3px; + margin: 0px 2px; +} + +a { + text-decoration: none; + text-shadow: #aaaaff 0px 0px 5px; +} + +a:hover { + text-decoration: underline; +} +#titlepage { + font-family: sans-serif; +} +#titlepage .thelogo { + text-align: right; +} +#titlepage .thetitle { + font-size: 250%; + border-bottom: 2px solid black; +} +#titlepage .theauthor { + text-align: right; + padding-top: 0.5ex; +} +#titlepage .quote { + text-align: left; + font-family: cursive; + margin: 0px; + margin-left: auto; + margin-top: 2ex; + margin-bottom: 2ex; + color: #aaaaaa; + font-weight: lighter; + font-size: 150%; + width: 26.2ex; +} + + +/* css.sty */ + |