summaryrefslogtreecommitdiff
path: root/Build/source/texk/xdvipdfmx/style_base.css
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/xdvipdfmx/style_base.css')
-rw-r--r--Build/source/texk/xdvipdfmx/style_base.css367
1 files changed, 0 insertions, 367 deletions
diff --git a/Build/source/texk/xdvipdfmx/style_base.css b/Build/source/texk/xdvipdfmx/style_base.css
deleted file mode 100644
index 2c3b9ac48bf..00000000000
--- a/Build/source/texk/xdvipdfmx/style_base.css
+++ /dev/null
@@ -1,367 +0,0 @@
-
-body {
- font-weight: normal;
- font-size: medium;
- font-style: normal;
- color: #000000;
- background-color: #ffffff;
-}
-
-q:lang(fr),
-*:lang(fr) > q {
- quotes: "«" "»" "\2039" "\203A";
-}
-
-q:lang(en),
-*:lang(en) > q {
- quotes: "\201C" "\201D" "\2018" "\2019";
-}
-
-:lang(ar) {
- font-size: 120%;
- direction: rtl;
- unicode-bidi: normal;
-}
-
-h1, h2, h3, h4 {
- color: #000000;
- font-weight: bold;
- text-align: left;
- margin-left: 1.0em;
- margin-bottom: 0.1em;
-}
-
-h2, h3 {
- margin-top: 2em;
- margin-bottom: 1em;
-}
-
-h1 {
- margin-left: 0;
- margin-bottom: 1em;
- font-size: 200%;
- border-bottom: solid 2px #336699;
-}
-
-h2 {
- font-size: 140%;
- border-bottom: solid 1px #336699;
- width: 95%;
-}
-
-h3 {
- font-size: 120%;
-}
-
-h4 {
- font-size: 100%;
- font-style: italic;
- margin-left: 1.5em;
-}
-
-p {
- text-align: justify;
- margin: .5em 2.5em .5em 2.5em;
-}
-
-/*
-p.abstract {
- margin: 1em 2.5em 1em 2.5em;
-}
-*/
-
-p.note, div.note {
- border: solid 2px #336699;
-}
-
-span.note {
- border: none;
-}
-
-/* open-paren ? */
-span.note:before {
- font-weight: normal;
- content: '[' "Note: ";
-}
-
-span.note:after {
- font-weight: normal;
- content: ']';
-}
-
-/*
-.note[class|="important"] {
-}
-*/
-
-/* wrapper */
-.important {
- padding: 0;
- margin: 0;
-}
-
-div.important >
-p.note, div.note {
- padding: 1em 1em 1em 1em;
- margin-top: 2em;
- margin-bottom: 2em;
- /* centering */
- margin-left: auto;
- margin-right: auto;
- width: 80%;
- color: black;
- /* font-style: italic; */
- border: solid 2px #cc6666;
- font-weight: normal;
-}
-
-/* fixme */
-div.important >
-p.note:before, div.note:before {
- color: #cc6666;
- font-style: normal;
- font-weight: bold;
- margin-right: 1em;
- content: "Important Note:";
-}
-
-span.important {
- font-style: italic;
- color: #cc6666;
-}
-
-span.important:before {
- color: #cc6666;
- font-style: normal;
- font-weight: bold;
- margin-right: .5em;
- content: "Important ";
-}
-
-
-.annot {
- font-size: smaller;
- font-family: sans-serif;
- padding: 1em 1em 1em 1em;
- margin-top: 2em;
- margin-bottom: 2em;
- /* right */
- /* float: right; */
- margin-left: auto;
- margin-right: 0;
- width: 46%;
- color: #666666;
- /* font-style: italic; */
- border: solid 2px #666666;
- font-weight: normal;
-}
-
-
-ul {
- list-style: disc outside;
-}
-
-ol {
- list-style: decimal outside
-}
-
-li {
- line-height: 120%;
-}
-
-em {
- font-weight: bold;
- font-style: normal;
-}
-
-
-ul li div.item {
- /* text-align: left;
- width: 100%;
- */
- text-align: left;
- font-weight: bolder;
- margin-left: 0;
- /* margin-right: auto; */
-}
-
-li p.desc {
- text-align: justify;
- margin: 0.5em 0 1em;
- width: 95%;
-}
-
-#changelog {
- margin-left: 1.5em;
- padding: 0;
-}
-
-ul.log {
- padding: 0;
- margin: 2em 0 2em; /* top left-right bottom */
- list-style: none;
-}
-
-ul.log li div.item {
- margin-left: 0;
- font-weight: bold;
- font-style: normal;
- text-align: left;
-}
-
-ul.log li div.item .date {
- color: #666666;
- font-weight: normal;
- font-style : normal;
- margin-right: 0.5em;
-}
-
-ul.log li p.desc {
- margin-left: 2em;
- width: 90%;
-}
-
-/*
-ul.links {
- margin-left: 0;
- list-style: disc outside;
-}
-
-ul.links li div.item a:after {
- text-align: right;
- margin: 0 auto 0 0;
- content: " \2014 " attr(href);
-}
-*/
-
-
-kbd, code, pre, adress,
-*.file, *.date, *.mail {
- font-family: monospace;
- font-style: normal;
- font-weight: normal;
- font-variant: normal;
-}
-
-.date {
- color: #666666;
-}
-
-pre, div.file {
- white-space: pre;
- text-align: left;
- line-height: 140%;
- margin: 2em auto 2em;
- border: solid 2px #336699;
- padding: 1em 2em 1em;
- width: 80%;
- overflow: auto;
-}
-
-span.file {
- white-space: nowrap;
-}
-
-span.file:before {
- content: '\'';
-}
-
-span.file:after {
- content: '\'';
-}
-
-
-.person .trademarked, .registered {
- white-space: nowrap;
-}
-
-.trademarked:after {
- content: '\2122';
-}
-
-.registered:after {
- content: '\00ae';
-}
-
-address, *.mail {
- white-space: nowrap;
-
-}
-
-.mail:before {
- content: '<';
-}
-
-.mail:after {
- content: '>';
-}
-
-.logo a {
- border: none;
-}
-
-div.foot {
- text-align: left;
- border-top: solid 2px #336699;
- margin: 1em 1em 1em 1em;
- /* font-size: 90%; */
- font-style: italic;
- padding: 1em 0em 1em 0em;
-}
-
-a[href] {
- color: #336699;
- font-weight: normal;
- text-decoration: underline;
-}
-
-a[href]:visited {
- color: #333333;
-}
-
-a[href]:hover {
- color: #6699CC;
-}
-
-abbr, acronym {
- font-style: normal;
- font-weight: normal;
- text-decoration: none;
- border: none;
-}
-
-/* dotted underline for abbr with title */
-/*
-abbr[title], acronym[title] {
- border-bottom: 1px dotted #000000;
-}
-*/
-
-abbr[title]:after, acronym[title]:after {
- color: #666666;
- content: '<' attr(title) '>';
-}
-
-/* nasty trick for internal link */
-#contents a[href|="#sec"] {
- color: #003366;
- font-style: italic;
- text-decoration: none;
-}
-
-
-@media print {
- .annot {
- display: none;
- overflow: hidden;
- float: none;
- }
- body {
- margin: auto;
- }
- a {
- text-decoration: none;
- color: #000000;
- border: none;
- }
-}