summaryrefslogtreecommitdiff
path: root/support/gellmu/webstyle
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/gellmu/webstyle
Initial commit
Diffstat (limited to 'support/gellmu/webstyle')
-rw-r--r--support/gellmu/webstyle/gellmuart.css1876
-rw-r--r--support/gellmu/webstyle/mxh.css433
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;
+}
+