diff options
Diffstat (limited to 'Build/source/texk/xdvipdfmx/style_base.css')
-rw-r--r-- | Build/source/texk/xdvipdfmx/style_base.css | 367 |
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; - } -} |