diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/gellmu/webstyle |
Initial commit
Diffstat (limited to 'support/gellmu/webstyle')
-rw-r--r-- | support/gellmu/webstyle/gellmuart.css | 1876 | ||||
-rw-r--r-- | support/gellmu/webstyle/mxh.css | 433 |
2 files changed, 2309 insertions, 0 deletions
diff --git a/support/gellmu/webstyle/gellmuart.css b/support/gellmu/webstyle/gellmuart.css new file mode 100644 index 0000000000..cd4bf9368e --- /dev/null +++ b/support/gellmu/webstyle/gellmuart.css @@ -0,0 +1,1876 @@ +article { + margin: 1em; +} + +preamble:before { + display: block; + color: #770000; + font-style: italic; + font-size: 0.75em; + content: "Notice: This is a development-level crude formatting of the raw XML version of a GELLMU article using a CSS sheet that is still under construction (hence, incomplete). The CSS sheet is aiding presentation of an intermediate stage of the document that may be missing some pieces of information such as, for example, section numbers. For a better presentation consult the HTML, DVI, or PDF version. If math is involved, the best online version will likely be the XHTML version."; +} + +preamble { + display: block; + color: #000033; + font-family: sans-serif; + font-size: 1em; + margin: 1em 1em 1em 1em; +} + +body { + display: block; + color: #000033; + font-family: sans-serif; + font-size: 1em; + margin: 1em 1em 1em 1em; +} + +abbr { + display: inline; +} + +address { + display: block; + margin: 1em auto 1em auto; + text-align: center; +} + +addr { + display: block; + margin-top: 2em; + margin-left: 2em; + margin-right: 2em; + margin-bottom: 2em; +} + +aln { + display: list-item; + white-space: nowrap; +} + +anchref:before { + content: " ["; +} + +anchref { + display: inline; + color: blue; +} + +anchref:after { + content: "] "; +} + +urlanch { + display: inline; + color: blue; +} + +anchv { + display: inline; + background-color: #ccccff; + font-style: italic; +} + +assthead { + display: list-item; + margin-top: 0.1em; + list-style-type: none; +} + +asstkey { + display: none; +} + +asstser { + display: none; +} + +asstname { + display: inline; + font-weight: bold; + background-color: #ffcccc; +} + +asstid { + background-color: #ffcccc; +} + +asstbody { + display: list-item; + background-color: #ffffcc; +} + +thebibliography { + margin-top: 1em; +} + +thebibliography:before { + display: block; + margin: 1em auto 1em auto; + font-size: 150%; + font-weight: bold; + text-align: center; + content: "References" +} + +bibentry { + display: list-item; + margin: 0.5em; +} + +bibkey { + display: none; +} + +footnote:before { + display: inline; + font-size: 10pt; + content: " ["; +} + +footnote:after { + display: inline; + font-size: 10pt; + content: "] "; +} + +footnote { + display: inline; + font-size: 10pt; + font-weight: normal; +} + +latexcommand { + display: none; +} + +date { + display: inline; +} + +today:before { + content: "[today]"; +} + +emph { + display: inline; + font-style: italic; +} + +Emph { + display: inline; + font-family: oblique; +} + +slnt { + display: inline; + font-style: italic; +} + +bold { + display: inline; + font-weight: bold; +} + +quostr { + display: inline; + font-family: monospace; +} + +quophrase:before { + display: inline; + content: "\201C"; +} + +quophrase:after { + display: inline; + content: "\201D"; +} + +squophrase:before { + display: inline; + content: "\2018"; +} + +squophrase:after { + display: inline; + content: "\2019"; +} + +eaddr { + display: inline; + font-family: monospace; +} + +email { + display: block; + margin: 0.7em auto 0.7em auto; + text-align: center; + font-family: monospace; +} + +qquostr { + display: inline; + font-family: monospace; +} + +qquostr:before { + display: inline; + font-family: monospace; + content: '"'; +} + +qquostr:after { + display: inline; + font-family: monospace; + content: '"'; +} + +quochar { + display: inline; + font-family: monospace; +} + +quochar:before { + display: inline; + font-family: monospace; + content: "`"; +} + +quochar:after { + display: inline; + font-family: monospace; + content: "'"; +} + +item { + display: list-item; + margin: 1ex 0 1ex 0; +} + +ditem { + display: list-item; + margin: 1ex 0 1ex 0; +} + +itemlabel:after { + content: " "; +} + +description { + margin: 1ex 0 1ex 1em; +} + +description > item > itemlabel { + font-weight: bold; +} + +enumerate { + display: block; + list-style-type: none; + counter-reset:enumeratei; + margin: 1ex 0 1ex 1em; +} + +enumerate > item:before { + counter-increment: enumeratei 1; + content: counter(enumeratei, decimal) ". "; +} + +enumerate > item { + display: list-item; + margin: 1ex 0 1ex 0; +} + +enumerate > item > itembody > enumerate { + display: block; + list-style-type: none; + counter-reset: enumerateii; + margin: 1ex 0 1ex 1em; +} + +enumerate > item > itembody > enumerate > item:before { + counter-increment: enumerateii 1; + content: counter(enumerateii, lower-alpha) ". "; +} + +enumerate > item > itembody > enumerate > item { + display: list-item; + margin: 1ex 0 ex 0; +} + +menu { + display: block; + list-style-type: none; + margin: 1ex 0 1ex 1em; +} + +Menu { + display: block; + list-style-type: none; + margin: 1ex 0 1ex 1em; +} + +Menu > item:before { + display: none; +} + +Menu > item { + display: list-item; + margin: 1.5ex 0 1.5ex 0; +} + +itemize { + display: block; + list-style-type: disc; + margin: 1ex 0 1ex 1em; +} + +itemize > itemize { + display: block; + list-style-type: square; + margin: 1ex 0 1ex 0; +} + +itemize > item:before { + content: attr(n); +} + +defnlist { + display: block; + list-style-type: none; + margin-left: 1em; + margin-top: 1em; + margin-bottom: 1em; +} + +term { + display: list-item; + font-family: sans-serif; + color: blue; + margin: 1ex 0 1ex 0; +} + +desc { + display: list-item; + margin: 1ex 0 1ex 0; +} + +label { + display: inline; + background-color: #ffccff; +} + +label:before { + content: "(id: "; +} + +label:after { + content: ") "; +} + +pageref:before { + content: "("; +} + +pageref:after { + content: ") "; +} + +mathsym { + display: none; +} + +par { + display: block; + text-align: left; + margin-bottom: 0.5em; +} + +parb { + display: block; + margin-bottom: 0.5em; +} + +table { + text-align: center; + display: table; + margin-left: 2em; + margin-right: 2em; +} + +verbatim { + display: block; + background-color: #d0d0d0; + margin-top: 1em; + margin-bottom: 1em; + text-align: left; + white-space: pre; +} + +verblist { + display: block; + font-family: monospace; + background-color: #e0e0e0; + margin: 1em; +} + +nln { + display: block; + text-align: left; + white-space: nowrap; +} + +verb { + display: inline; + font-family: monospace; + white-space: nowrap; +} + +secnumdepth { + display: none; +} + +base { + display: none; +} + +baseloc { + display: block; + color: blue; + text-align: right; + font-weight: bold; + margin-bottom: 0.5em; +} + +surtitle:before { + font-weight: normal; + color: #770000; + content: "Surtitle: " +} + +surtitle { + display: block; + color: green; + text-align: left; + font-weight: bold; + margin-top: 1em; + margin-bottom: 1em; +} + +title { + display: block; + color: #000066; + font-size: 2em; + font-weight: bold; + text-align: center; + margin-top: 5%; + margin-bottom: 5%; +} + +subtitle { + display: block; + color: #000066; + font-size: 1.3em; + font-weight: bold; + text-align: center; + margin-bottom: 1em; +} + +TableOfContents:before { + display: block; + font-size: 150%; + font-weight: bold; + text-align: center; + margin-top: 1em; + margin-bottom: 1em; + margin-left: auto; + margin-right: auto; + content: "Table of Contents"; +} + +TableOfContents { + display: block; + margin-left: 3em; + margin-bottom: 2ex; +} + +tocitem { + display: list-item; + list-style-type: none; +} + +tocunit { + display: inline; +} + +tocunit:after { + content: ". "; +} + +author { + display: block; + color: #000066; + font-size: 1.7em; + font-weight: bold; + text-align: center; + margin-bottom: 1em; +} + +date { + display: block; + color: #000066; + font-size: 1.2em; + font-weight: bold; + text-align: center; + margin-bottom: 1em; +} + +draftlabel { + margin: 1em auto 1em auto; +} + +draftlabel:before { + display: block; + font-size: 100%; + font-weight: bold; + font-family: monospace; + text-align: center; + content: "D R A F T"; +} + +copyright:before { + display: inline; + content: "\0000A9"; +} + +copynotice { + display: block; + font-size: 1em; + margin: 1em auto 1em auto; + text-align: center; +} + +keywords { + display: block; + font-size: 1em; + margin: 1em auto 1em auto; + text-align: center; +} + +abstract:before { + display: block; + font-size: 150%; + font-weight: bold; + text-align: center; + content: "Abstract"; +} + +abstract { + display: block; + margin-top: 0.5em; + margin-bottom: 0.5em; + margin-left: 10%; + margin-right: 10%; +} + +sunit:after { + content: ". " +} + +section, Section > prefix, Section > shead, Section > sunit { + display: block; + color: #000050; + font-size: 1.3em; + font-weight: bold; + text-align: left; + margin-top: 1.5em; + margin-bottom: 0.5em; +} + +subsection, Subsection > prefix, Subsection > shead, Subsection > sunit { + display: block; + color: #000050; + font-size: 1.2em; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subsubsection, Subsubsection > prefix, Subsubsection > shead, Subsubsection > sunit { + display: block; + color: #000050; + font-size: 1em; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +hdr { + display: block; + font-size: 150%; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subhdr { + display: block; + font-size: 135%; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subsubhdr { + display: block; + font-size: 1.1em; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subsubsubhdr { + display: block; + font-size: 1em; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +suphdr { + display: block; + font-size: 1.5em; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +supsuphdr { + display: block; + font-size: 2em; + font-weight: bold; + text-align: left; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +hdrc { + display: block; + font-size: 1.5em; + font-weight: bold; + text-align: center; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subhdrc { + display: block; + font-size: 1.3em; + font-weight: bold; + text-align: center; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subsubhdrc { + display: block; + font-size: 1.2em; + font-weight: bold; + text-align: center; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +subsubsubhdrc { + display: block; + font-size: 1em; + font-weight: bold; + text-align: center; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +suphdrc { + display: block; + font-size: 1.5em; + font-weight: bold; + text-align: center; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +supsuphdrc { + display: block; + font-size: 2em; + font-weight: bold; + text-align: center; + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +brk { + display: block; + clear: both; +} + +bsl:before { + display: inline; + content: "\\"; +} + +eoq:before { + display: inline; + content: "?"; +} + +eoe:before { + display: inline; + content: "!"; +} + +per:before { + display: inline; + content: "."; +} + +lbr:before { + display: inline; + content: "\{"; +} + +rbr:before { + display: inline; + content: "\}"; +} + +lsb:before { + display: inline; + content: "["; +} + +rsb:before { + display: inline; + content: "]"; +} + +quo:before { + display: inline; + content: '"'; +} + +hsh:before { + display: inline; + content: "#"; +} + +cln:before { + display: inline; + content: ":"; +} + +sol:before { + display: inline; + content: "/"; +} + +scl:before { + display: inline; + content: ";"; +} + +qum:before { + display: inline; + content: "?"; +} + +tld:before { + display: inline; + content: "~"; +} + +eqc:before { + display: inline; + content: "="; +} + +exc:before { + display: inline; + content: "!"; +} + +dol:before { + display: inline; + content: "$"; +} + +pct:before { + display: inline; + content: "%"; +} + +amp:before { + display: inline; + content: "&"; +} + +crt:before { + display: inline; + content: "^"; +} + +ast:before { + display: inline; + content: "*"; +} + +eqs:before { + display: inline; + content: "="; +} + +vbr:before { + display: inline; + content: "|"; +} + +lpr:before { + display: inline; + content: "("; +} + +rpr:before { + display: inline; + content: ")"; +} + +ltc:before { + display: inline; + content: "<"; +} + +gtc:before { + display: inline; + content: ">"; +} + +apos:before { + display: inline; + content: "'"; +} + +leq:before { + display: inline; + content: "\2264"; +} + +geq:before { + display: inline; + content: "\2265"; +} + +/* +<!ENTITY % charaa "exc|atc|hsh|dol|pct|crt|amp|ast|lbr|rbr|bsl|quo"> +<!ENTITY % charab "eqs|eqc|hyp|plu|sol|spc|lsb|rsb|und|vbr|tld"> +<!ENTITY % charac "lpr|rpr|ltc|gtc|cln|scl|per|cma|qum|hsp|Hsp|apos"> +<!ENTITY % chara "%charaa|%charab|%charac|%cmts"> +*/ + +equals:before { + display: inline; + content: " = "; +} + +atc:before { + display: inline; + content: "@"; +} + +hyp:before { + display: inline; + content: "-"; +} + +hy0:before { + display: inline; + content: "\00AD"; +} + +und:before { + display: inline; + content: "_"; +} + +rdash:before { + display: inline; + content: " - "; +} + +pdash:before { + display: inline; + content: " -- "; +} + +plu:before { + display: inline; + content: " + "; +} + +plus:before { + display: inline; + content: " + "; +} + +minus:before { + display: inline; + content: " \2212 "; +} + +quotient:before { + display: inline; + content: "/"; +} + +times:before { + display: inline; + font-family: monospace; + content: "X"; +} + +cup:before { + display: inline; + content: "\222A"; +} + +cap:before { + display: inline; + content: "\2229"; +} + +oplus:before { + display: inline; + content: "\2295"; +} + +otimes:before { + display: inline; + content: "\2297"; +} + +ominus:before { + display: inline; + content: "\2296"; +} + +infty:before { + display: inline; + content: "\221E"; +} + +sup { + display: inline; + font-size: 0.7em; + position: relative; + top: -1ex; +} + +sup1 { + vertical-align: super; +} + +sub { + display: inline; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +sub1 { + vertical-align: sub; +} + +msup1:before { + display: inline; + content: "^\{"; +} + +msup1:after { + display: inline; + content: "\}"; +} + +msup { + display: inline; + font-size: 0.7em; + position: relative; + top: -1ex; +} + +sum, int, prod msup { + font-size: 100%; +} + +msub1:before { + display: inline; + content: "_\{"; +} + +msub1:after { + display: inline; + content: "\}"; +} + +msub { + display: inline; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +pow1:before { + display: inline; + content: "^\{"; +} + +pow1:after { + display: inline; + content: "\}"; +} + +pow { + display: inline; + font-size: 0.7em; + position: relative; + top: -1ex; +} + +sqrt:before { + display: inline; + font-weight: bold; + content: " sqrt\{"; +} + +sqrt:after { + display: inline; + font-weight: bold; + content: "\} "; +} + +radx:before { + display: inline; + content: "^\{"; +} + +radx:after { + display: inline; + content: "\}"; +} + +radicand:before { + display: inline; + content: "\{"; +} + +radicand:after { + display: inline; + content: "\}"; +} + +sum:before { + display: inline; + font-weight: bold; + content: "\2211"; +} + +int:before { + display: inline; + font-weight: bold; + content: "\222B"; +} + +prod:before { + display: inline; + font-weight: bold; + content: "\220F"; +} + +numr:before { + display: inline; + content: "\{"; +} + +numr:after { + display: inline; + content: "\}"; +} + +denm:before { + display: inline; + content: "/\{"; +} + +denm:after { + display: inline; + content: "\}"; +} + +aos:before { + display: inline; + content: ". "; +} + +aoc:before { + display: inline; + content: ", "; +} + +cma:before { + display: inline; + content: ", "; +} + +spc:before { + display: inline; + content: " "; +} + +verblist spc:before { + content: "\00A0"; +} + +text spc:before { + content: "\00A0"; +} + +hsp { + display: none; +} + +latex:before { + display: inline; + content: "LaTeX"; +} + +tex:before { + display: inline; + content: "TeX"; +} + +cdot:before { + display: inline; + content: "\b7"; +} + +nbs:before { + display: inline; + content: "\a0"; +} + +eos:before { + display: inline; + position: relative; + left: -0.1em; + content: "."; +} + +eos:after { + display: inline; + content: "\a0"; +} + +ldots:before { + display: inline; + content: "\2026"; +} + +alpha:before { + display: inline; + content: "\03b1"; +} + +beta:before { + display: inline; + content: "\03b2"; +} + +chi:before { + display: inline; + content: "\03C7"; +} + +Delta:before { + display: inline; + content: "\0394"; +} + +delta:before { + display: inline; + content: "\03B4"; +} + +epsilon:before { + display: inline; + content: "\03B5"; +} + +varepsilon:before { + display: inline; + content: "\025B"; +} + +Gamma:before { + display: inline; + content: "\0393"; +} + +gamma:before { + display: inline; + content: "\03b3"; +} + +iota:before { + display: inline; + content: "\03B9"; +} + +kappa:before { + display: inline; + content: "\03BA"; +} + +Lambda:before { + display: inline; + content: "\039B"; +} + +lambda:before { + display: inline; + content: "\03BB"; +} + +mu:before { + display: inline; + content: "\03BC"; +} + +nu:before { + display: inline; + content: "\03BD"; +} + +Omega:before { + display: inline; + content: "\03A9"; +} + +omega:before { + display: inline; + content: "\03C9"; +} + +omicron:before { + display: inline; + content: "\03BF"; +} + +Phi:before { + display: inline; + content: "\03A6"; +} + +phi:before { + display: inline; + content: "\03D5"; +} + +varphi:before { + display: inline; + content: "\03C6"; +} + +Pi:before { + display: inline; + content: "\03A0"; +} + +pi:before { + display: inline; + content: "\03C0"; +} + +Psi:before { + display: inline; + content: "\03A8"; +} + +psi:before { + display: inline; + content: "\03C8"; +} + +rho:before { + display: inline; + content: "\03C1"; +} + +Sigma:before { + display: inline; + content: "\03A3"; +} + +sigma:before { + display: inline; + content: "\03C3"; +} + +tau:before { + display: inline; + content: "\03C4"; +} + +Theta:before { + display: inline; + content: "\0398"; +} + +theta:before { + display: inline; + content: "\03B8"; +} + +vartheta:before { + display: inline; + content: "\03D1"; +} + +Upsilon:before { + display: inline; + content: "\03A5"; +} + +upsilon:before { + display: inline; + content: "\03C5"; +} + +Xi:before { + display: inline; + content: "\039E"; +} + +xi:before { + display: inline; + content: "\03BE"; +} + +zeta:before { + display: inline; + content: "\03B6"; +} + +wp:before { + display: inline; + content: "\2118"; +} + +ell:before { + display: inline; + content: "\2113"; +} + +i:before { + display: inline; + content: "\0131"; +} + +j:before { + display: inline; + content: "j"; +} + +display { + display: block; + text-align: center; + width: 80%; + margin: 1em auto 1em auto; +} + +math, tmath { + display: inline; +} + +displaymath, eqnline, eqnrow { + display: block; + text-align: center; + width: 80%; + margin: 1em auto 1em auto; +} + +eqnkey, eqnser { + display: none; +} + +mbox{ + display: inline; + font-style: normal; +} + +regch{ + display: inline; + font-style: normal; +} + +text { + display: inline; + font-style: normal; +} + +bal:before { + display: inline-block; + vertical-align: middle; + content: " ("; +} + +bal:after { + display: inline-block; + vertical-align: middle; + content: ") "; +} + +balsb:before { + display: inline; + content: "["; +} + +balsb:after { + display: inline; + content: "]"; +} + +balbr:before { + display: inline; + content: "{"; +} + +balbr:after { + display: inline; + content: "}"; +} + +balab:before { + display: inline; + content: "<"; +} + +balab:after { + display: inline; + content: ">"; +} + +balvbr:before { + display: inline; + content: "|"; +} + +balvbr:after { + display: inline; + content: "|"; +} + +equiv:before { + display: inline; + content: " \2261 " +} + +cong:before { + display: inline; + content: " \2245 " +} + +mapsto:before { + display: inline; + content: " \21A6 " +} + +longmapsto:before { + display: inline; + content: "\21A6"; +} + +leftarrow:before { + display: inline; + content: " \2190 " +} + +uparrow:before { + display: inline; + content: " \2191 " +} + +rightarrow:before { + display: inline; + content: " \2192 " +} + +downarrow:before { + display: inline; + content: " \2193 " +} + +longleftarrow:before { + display: inline; + content: " \2190 " +} + +longrightarrow:before { + display: inline; + content: " \2192 " +} + +nwarrow:before { + display: inline; + content: " \2196 " +} + +nearrow:before { + display: inline; + content: " \2197 " +} + +/* searrow and swarrow may be switched in Firefox outside of MathML */ + +searrow:before { + display: inline; + content: " \2198 " +} + +/* searrow and swarrow may be switched in Firefox outside of MathML */ + +swarrow:before { + display: inline; + content: " \2199 " +} + +iff:before { + display: inline; + content: " \21D4 " +} + +in:before { + display: inline; + content: " \2208 " +} + +pm:before { + display: inline; + content: " \00B1 " +} + +mathcal { + font-family: "Euclid Math One"; + color: blue; +} + +mathfrak { + font-family: "Euclid Fraktur"; + color: green; +} + +mathbb { + font-family: "Euclid Math Two"; + color: red; +} + +Cd0 { + display: inline; + position: relative; + right: +0.2em; + left: +0.1em; +} + +lbalbr:before { + content: "\{"; +} + +rbalbr:after { + content: "\}"; +} + +array { + display: inline-table; + vertical-align: middle; +} + +arrcols { + display: none; +} + +arrayrow { + display: table-row; +} + +firstacell { + display: table-cell; +} + +arraycell { + display: table-cell; +} + +table, tableb, tablec, tablech { + display: table; + margin: 1em; +} + +tabarg, tabharg { + display: none; +} + +tabular { + display: table; +} + +taburow { + display: table-row; +} + +tr { + display: table-row; +} + +firstcell { + display: table-cell; +} + +tabucell { + display: table-cell; +} + +tabampcell { + display: table-cell; +} + +td { + display: table-cell; +} + +tdp { + display: table-cell; +} + +tdr { + display: table-cell; +} + +langle:before { + display: inline; + content: "\2329"; +} + +rangle:before { + display: inline; + content: "\232A"; +} + +pmod:before { + content: " (mod "; +} + +pmod:after { + content: ") "; +} + +bmod:before { + content: " mod "; +} + +ldq:before { + content: "\201C"; +} + +rdq:after { + content: "\201D"; +} + +lsq:before { + content: "\2018"; +} + +rsq:after { + content: "\2019"; +} + +nabla:before { + content: "\2207"; +} + +uright { + display: inline; + font-size: 0.7em; + position: relative; + top: -1ex; +} + +lright { + display: inline; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +uleft { + display: inline; + font-size: 0.7em; + position: relative; + top: -1ex; +} + +lleft { + display: inline; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +quad:before { + content: " \00A0\00A0"; +} + +quad:after { + content: "\00A0\00A0 "; +} + +abuts:before { + content: " \21D2 "; +} + +prime:before { + content: "\2032"; +} + +backprime:before { + content: "\2035"; +} + +sprime:before { + content: "\2032"; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +dprime:before { + content: "\2033"; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +tprime:before { + content: "\2034"; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +qprime:before { + content: "\2057"; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +bprime:before { + content: "\2035"; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +emptyset:before { + content: "\00D8"; +} + +reg:before { + content: "\00AE"; +} + +trade:before { + content: "\2122"; +} + +dag:before { + content: "\2020"; +} + +ddag:before { + content: "\2021"; +} + +backslash:before { + content: "\005C"; +} + +lessdot:before { + content: "\22D6"; +} + +gtrdot:before { + content: "\22D7"; +} + +setminus:before { + content: "\2216"; +} + +absval:before { + content: "|"; +} + +absval:after { + content: "|"; +} + +norm:before { + content: "||"; +} + +norm:after { + content: "||"; +} + +aF { + display: none; +} + +icomma { + display: none; +} + +itimes { + display: none; +} + +lower { + display: inline; + font-size: 0.7em; + position: relative; + bottom: -1ex; +} + +upper { + display: inline; + font-size: 0.7em; + position: relative; + top: -1ex; +} + diff --git a/support/gellmu/webstyle/mxh.css b/support/gellmu/webstyle/mxh.css new file mode 100644 index 0000000000..ac7c682e71 --- /dev/null +++ b/support/gellmu/webstyle/mxh.css @@ -0,0 +1,433 @@ +body { + display: block; + margin: 2ex 1em 2ex 1em; + color: #000033; + background-color: #fcfcfc; + font-family: Arial, sans-serif; + font-size: 1em; +} + +h1 { + display: block; + margin-left: auto; + margin-right: auto; + text-align: center; + color: #000066; + background-color: #fcfcfc; + font-size: 2.00em; +} + + +.display { + display: block; + margin-left: auto; + margin-right: auto; + text-align: center; +} + +.bold { + font-weight: bold; +} + +emph { + font-style: italic; +} + +.bold-italic { + font-style: italic; + font-weight: bold; +} + +.italic { + font-style: italic; +} + +.altemph { + font-family: "luxi sans", freesans, sans-serif; + font-style: oblique; +} + +h2 { + display: block; + font-size: 1.75em; + font-weight: bold; + color: #000066; + background-color: #fcfcfc; +} + +h3 { + display: block; + font-size: 1.50em; + font-weight: bold; + color: #000066; + background-color: #fcfcfc; +} + +h4 { + display: block; + font-size: 1.25em; + font-weight: bold; + color: #000066; + background-color: #fcfcfc; +} + +h5 { + display: block; + font-size: 1.00em; + font-weight: bold; + color: #000066; + background-color: #fcfcfc; +} + +kbd { + display: inline; + font-family: monospace; + font-weight: bold; +} + +p { + margin: 2ex 0em 2ex 0em; +} + +dl, ol, ul { + margin: 1ex 1em 1ex 1em; +} + +dt { + margin-left: 1em; + margin-right: 1em; + margin-bottom: 1ex; +} + +dd { + margin-left: 2em; + margin-right: 1em; + margin-bottom: 1ex; +} + +dl.Menu > dd { + margin-bottom: 2ex; +} + +li { + margin-left: 1em; + margin-right: 1em; + margin-bottom: 1ex; +} + +ul > li { + list-style-type: disc; +} + +ul > li li { + list-style-type: circle; +} + +ul > li li li { + list-style-type: square; +} + +ol.decimal > li { + list-style-type: decimal; + margin-bottom: 1ex; +} + +ol.lower-alpha > li { + list-style-type: lower-alpha; + margin-bottom: 0.5ex; +} + +ol.lower-roman > li { + list-style-type: lower-roman; + margin-bottom: 0.5ex; +} + +ol.upper-alpha > li { + list-style-type: upper-alpha; + margin-bottom: 0.5ex; +} + +dl.verblist { + display: block; + margin: 1ex 2em 1ex 1em; + border-style: none; + padding: 1em 0em 1em 0em; + font-family: monospace; + font-weight: bold; +} + +dl.verblist > dd { + list-style-type: none; + margin: 0ex 0em 0.25ex 0em; +} + +dl.verblist > dd kbd { + font-size: 1em; +} + +dl.tableofcontents > dd { + list-style-type: none; + margin-left: 2em; + margin-right: 2em; + margin-top: 0.5ex; + margin-bottom: 0.5ex; +} + +dl.tableofcontents > dd dd { + list-style-type: none; + margin-top: 0.2ex; + margin-bottom: 0.2ex; +} + +dl.assertion { + margin: 1ex 0em 1ex 0em; +} + +dl.assertion > dt { + margin-left: 0em; + margin-right: 0em; +} + +dl.assertion > dd { + margin-left: 0em; + margin-right: 0em; + font-style: italic; +} + +dl.assertion > dd b { + font-style: normal; + font-weight: bold; +} + +dl.definition { + margin: 1ex 0em 1ex 0em; +} + +dl.definition > dt { + margin-left: 0em; + margin-right: 0em; +} + +dl.definition > dd { + margin-left: 0em; + margin-right: 0em; + font-style: normal; +} + +table { + border-collapse: collapse; +} + +.display table { + margin-left: auto; + margin-right: auto; +} + +table tbody { + text-align: left; +} + +div { + margin: 1em 0 1em 0; +} + +div.tableofcontents { + margin: 2ex 2em 2ex 2em; +} + +div.section { + margin: 3em 0 3em 0; +} + +div.subsection { + margin: 2em 0 2em 0; +} + +div.subsubsection { + margin: 1em 0 1em 0; +} + +table.gdisplay { + margin-left: auto; + margin-right: auto; +} + +td { + empty-cells: show; + padding-left: 0.6em; + padding-right: 0.6em; + padding-top: 0.4ex; + padding-bottom: 0.4ex; +} + +table.boxed { + border-style: solid; + border-width: 0.1em; +} + +table.boxed td { + border-style: solid; + border-width: 0.1em; +} + +table.chart { + margin: 0px; +} + +table.chart > tbody >tr > td:first-child { + padding-left: 0px; + font-size: 1.25em; + color: #000066; + background-color: inherit; +} + +tr.boxed { + border-top-style: solid; + border-top-width: 0.1em; + border-bottom-style: solid; + border-bottom-width: 0.1em; +} + +tr.truled { + border-top-style: solid; + border-top-width: 0.1em; +} + +tr.bruled { + border-bottom-style: solid; + border-bottom-width: 0.1em; +} + +td.boxed { + border-left-style: solid; + border-left-width: 0.1em; + border-right-style: solid; + border-right-width: 0.1em; +} + +td.lruled { + border-left-style: solid; + border-left-width: 0.1em; +} + +td.rruled { + border-right-style: solid; + border-right-width: 0.1em; +} + +pre { + font-family: monospace; + font-weight: bold; + font-size: 0.8em; +} + +mlabeledtr { + display: table-row; +} + +math { + white-space: nowrap; +} + +math[class="display"], math[display="block"], math[mode="display"] { + display: block; + margin-top: 1ex; + margin-bottom: 1ex; + margin-left: auto; + margin-right: auto; + text-align: center; +} + +mlabeledtr > mtd:first-child { + color: #005500; + background-color: #fcfcfc; +} + +mtr[class="labeled"] > mtd:first-child { + color: #005500; + background-color: #fcfcfc; +} + +mi[class="invisible"] { + display: none; +} + +[mathvariant="script"] { + font-family: "Euclid Math One", serif; +} +[mathvariant="fraktur"] { + font-family: "Euclid Fraktur", serif; +} +[mathvariant="double-struck"] { + font-family: "Euclid Math Two", serif; +} + +a:link { + color: #0000B0; + background-color: #fcfcfc; +} + +a:visited { + color: #000077; + background-color: #fcfcfc; +} + +a:active { + color: #B00000; + background-color: #fcfc00; +} + +a:hover { + color: #800000; + background-color: #fcfc00; +} + +mtd[columnalign="left"] { + text-align: left; +} + +mtd[columnalign="center"] { + text-align: center; +} + +mtd[columnalign="right"] { + text-align: right; +} + +mtable[class="boxed"] { + border-style: solid; + border-width: 0.1em; + padding: 1ex 1em 1ex 1em; +} + +mtable[class="substack"] { + font-size: 0.7em; +} + +mtable[class="substack"] mtr { + margin: 0 ; + padding: 0 ; +} + +mtable[class="substack"] mtr mtd { + margin: 0 ; + padding: 0 ; +} + +mo[class="prime"] { + font-size: 0.6em; + vertical-align: super; +} + +mtext[class="strong"] { + font-weight: bold; +} + +mtext[class="emphasized"] { + font-style: italic; +} + +mtext[class="stringtext"] { + font-family: monospace; +} + |