summaryrefslogtreecommitdiff
path: root/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/manual.css
diff options
context:
space:
mode:
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.css163
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 */
+