/*** Script styles used for GG Parsor rules ***/
.marx { /* turn MarX on */ }
.nomarx, .No { /* turn MarX off */ }
.No * {
  color: inherit !important;
}
ol.def {
  position: relative;  /* for a.anch absolute */
  list-style-type: none;
  padding-left: 0.6em;    /* valign base as P */
}
ol.def li {
  padding-right: 1em;
}
.def dfn {    /* label for LI in OL 'pre def' */
  position: relative;
  top: 0.05em;
  font: normal bold 0.75em
        Verdana, Georgia, sans-serif;
  padding: 0.05em 0.16em 0.05em 0.24em;
  border: solid 1px;
  margin: 0 0.3em 0 1em;       /* default R_5 */
}
dfn.R_5 {
  margin-right: 0.32em;
}
dfn.R_6 {                         /* line out */
  margin-right: 0.4em;         /* against R_5 */
}
dfn.R_7 {
  margin-right: 0.98em;
}
dfn.R_8 {
  margin-right: 0.28em;
}
dfn.R_9 {
  margin-right: 1.2em;         /* against R_7 */
}
/* Markup by GG.Codor */
strong.label {
  letter-spacing: 1px;
}
/* GG.Anch styles for list flip by '@' */
a.anch {
  position: absolute;
  top: 2px;
  right: 4px;
  z-index: 45;   /* below ol.sticky 50 */
  font: bold 1.24em Georgia, serif;
  text-decoration: none;
  padding: 0 0.15em 0.1em;
  border-style: solid;
  border-width: 2px;
  cursor: pointer;        /* for missing href */
}
a.anch:hover {
  z-index: 95;  /* above G_F buttons 90 */
}
/* Markup by GG.Spans.bb {([in brackets])} */
.bbQ, .bbC, .bbR, .bbS {
  font-style: inherit;
  font-weight: inherit;
}
.bbQ {
  font-style: italic;
  margin: 0 0.08em 0 -0.08em;
}
code .bbQ {
  font-size: 0.95em;
}
.bbQ .bbQ {
  font-size: 1em;
}
.pop .bbQ, .back .bbQ {
  margin-right: 0;
}
.bbR {
  margin: 0 -0.04em;
}
.pre .bbR {
  margin-right: 0.04em;
}
span.bbS {
  font-size: 0.96em;
}
span.sepin {   /* .sepin .bbS in ,[X] */
  margin: 0 -0.16em 0 0.08em;
}
.bbS span.bbS {
  font-size: 1em;
}
.bbS span.deep {
  font-size: 0.96em;
  padding-right: 0.06em;
  margin-right: 0.06em;
}
.bbS .deep i { /* next odd arrays in deep */
  font-style: inherit;
}
/* GG.Tokens rule dot:
   B class = dot (dot1|dot2|dot3) */
b.dot {
  font-size: 1.1em;
  line-height: 70%;  /* in sup */
}
b.dot2 {
  letter-spacing: -0.05em;
  margin-right: 0.07em; 
}
b.dot3 {
  letter-spacing: -0.15em;
  margin-right: 0.15em;
}
code b.dot2, code b.dot3 {
  margin-right: 0;
}
span.midd {
  margin: 0 0.08em 0 0.04em;
}
/* GG.Tokens rule rep:
   I class = rep (repL|repD|repIL|repID) */
i.rep {
  font-size: 0.96em;
  margin-right: 0.08em;
}
.pre i.rep {
  font-size: 1em;
}
i.repL {  /* :k */
  margin-left: 0.03em;
}
i.repD {   /* :k: */
  margin-left: 0.02em;
}
i.repIL {  /* 0:k */
  margin-left: 0.3em;
}
i.repID {  /* 0:k: */
  margin-left: 0.1em;
}
code i.repL, code i.repIL {
  margin: 0 0.25em 0 0;
}
/* Equals and comparisons
   span.eq (.sp)? | span.approx (.sp|.gap)?
   .eq -> sub.nrL, sub.nrR with lengths:
             .L_1, .L_3, .R_1, .R_3
          b.accL, b.accR, b.colL, b.colR */
b.accL, b.accR, b.colL, b.colR,
b.refL, b.refR, b.glt, b.gle {
  font-weight: inherit;
}
b.glt, b.gle {
  margin: 0 0.07em;
}
#G_Legend .glt { /* like .gap */
  letter-spacing: -0.08em;
  font-size: 1.05em;
  line-height: 95%;
}
b.gle {
  position: relative;
  top: 0.06em;
}
.pre .eq {
  /* spaceless '=' overruled by .sp for ' = ' */
  margin: 0 0.25em;
}
.eq sub {
  font-size: 0.85em;  /* standard */
  line-height: 90%;
  letter-spacing: -0.06em;
}
sub.nrL {
  padding-right: 0.1em; }
sub.nrR {
  padding-left: 0.1em;
}
/* eval = Left or Right ass. subscript num.
  Line out eval = signs:
  in Firefox zoom 90% too much at _3 _5
        but zoom 100% falls short,
  Android Chrome it's just right. */
.pre .eq .L_1 {
  margin-left: 0.05em; }
.pre .eq .L_3 {
  margin-left: 0.4em; }
.pre .eq .L_4 {
  margin-left: 0.6em; }
.pre .eq .L_5 {
  margin-left: 0.15em; }
.pre .eq .R_1 {
  margin-right: 0.05em; }
.pre .eq .R_2 {
  letter-spacing: 0;
  margin-right: 0.1em; }
.pre .eq .R_3 {
  margin-left: 0.08em;
  margin-right: 0.28em; }
.pre .eq .R_5 {
  margin-left: 0.1em;
  margin-right: 0.6em;
}
code .eq {
  margin: 0 0.1em;
}
.bbQ .eq, .rep .eq {  /* 'eq approx' */
  margin: 0 0.06em;
}
.art span.approx {
  position: relative;
  top: 0.1em;      /* compensate for font-size
  mobile Chrome requires overrule by !important */
  font-size: 1.3em;
  line-height: 80%;
}
#G_Legend span.approx {
  font-size: 1.25em;
  line-height: 75%;
}
.bbQ span.approx {
  margin: 0 0.04em;
}
.accL, .colL { /* .eq B in `= or := */
  position: relative;
  bottom: 0.05em; }
.accR, .colR { /* .eq B in =` or =: */
  position: relative;
  bottom: 0.05em;
}
.pre b.gap, code b.gap {
  font-weight: bold;
}
.pre .gap {
  font-size: 1.08em;
  line-height: 110%;
  letter-spacing: -0.08em;
  margin: 0 0.03em 0 -0.05em;  /* line out .sp */
}
code span.sp {  /* .eq is = spaced */
  margin: 0 -0.3em;
}
.pre span.sp {
  margin: 0;
}
.pre span.asp {  /* .approx is ~ spaced */
  margin: 0 -0.1em;
}
code .gap {   /* spaced with .glt .gle */
  letter-spacing: -0.05em;
  margin: 0 -0.1em 0 -0.2em;
}
/* Interactive definition list */
b.bullnum, b.bull {
  margin: 0.02em;
}
.pre b.bullnum, .pre b.bull {
  line-height: 160%;
}
.pre b.bull {
  margin: 0 0.25em 0 -0.35em;
}
.pre b.bullnum {
  padding: 0 0.16em 0.16em 0.12em;
  margin: 0 0.25em 0 -0.6em;
  cursor: default;
  position: relative;
  bottom: 0.1em;
}
a.clicked {
  font-weight: bold;
  cursor: help;
}
/* Logic signs | & */
span.semi {
  margin: 0.1em;
}
b.log {
  font-size: 1.3em;
  line-height: 70%;
  margin: 0 0.15em;
  position: relative;
  top: 0.05em;
}
#G_Legend b.log {
  font-size: 1.25em;
  line-height: 70%;
}
.back, .pop, .plop, .plus {
  font-weight: inherit;
}
b.back {
  letter-spacing: -0.04em;
  margin: 0 0.12em 0 0.03em;
}
b.pop {
  letter-spacing: -0.02em;
  margin-right: 0.06em; /* align table 2.3.4. */
}
.pre .plop {  /* start pop plus */
  margin-right: 0.03em;
}
b.plus { /* classic plus operation */
  margin: 0 0.03em;
}
/* Greek signs, see at media .Gmob */
b.gr {
  font-size: 1.04em;  /* b.gr 1em on mobile */
  font-weight: normal;
  line-height: 100%;
  margin: 0 0.03em;
}
.art .gr sub {
  font-size: 0.8em;
}
sub .gr {         /* psi can be subscripted */
  font-size: 1.12em;
  line-height: 70%;
  top: -0.02em;
}
sub .gr sub .gr {
  position: relative;
  top: 0.04em;
}
span.bbS .gr,
span.bbS span.bbS .gr {
  font-size: 1.15em;
}
.rep .gr {
  font-size: 1.08em;
  font-style: italic;
  margin: 0 0.04em 0 0;
}
/* Two text variables, by rule stvar
   'X' in .tvar, '$' in .svar */
b.tvar, b.svar, b.rex {
  font-weight: inherit;
  line-height: 90%;
}
b.tvar {
  font-size: 1.06em;
}
.pre .tvar {
  margin: 0 0.05em;
}
.bbS .tvar {
  font-size: 1.1em;
  margin: 0 0.02em;
}
b.tR, .pre b.tR
  /* text var before num var */  {
  margin-right: 0.2em;
}
.bbS b.tR {
  margin-right: 0.15em;
}
b.svar {  /* [\$#]+ */
  font-size: 1.13em;
  /* padding: 0.04em 0.16em 0.08em; */
  margin: 0 0.02em;
}
.pre b.svar {
  font-size: 1.16em;
  /* padding: 0.04em 0.12em;
  margin: 0 0.08em 0 0.12em; */
}
.tvar sub, .svar sub {
  /* background-color: inherit;
  font-size: 0.82em;
  padding: 0 0.12em 0 0.08em;
  border-bottom: inherit;
  margin: 0 -0.2em 0 -0.1em; */
}
b.tick { /* scan tick `  in _giga */
  position: relative;
  top: 0.05em;
  font-size: 1.05em;
  line-height: 100%;
  margin-left: 0.05em;
}
b.tisp { /* tick `  space right inside */
  margin-right: -0.2em;
}
b.rex { /* option ? sign */
  position: relative;
  top: -0.1em;
}
.pre .rex {
  margin-right: 0.05em;
}
.back b.rex {
  margin: 0;
}
/* Arrow operators
   adapt size in mobile! */
b.arr, .arr b {
  font-weight: inherit;
}
b.arr {
  font-size: 1.18em;
  font-style: normal;
  line-height: 80%;
  margin: 0 0.05em;
}
b.uar {
  position: relative;
  bottom: 0.08em;
  letter-spacing: -0.1em;
  margin: 0 0.1em 0 -0.02em;
}
.bbQ .uar {
  margin: 0 0.05em; /* in italic */
}
b.rar {
  margin: 0 0.08em;
}
.rep .uar {
  margin: 0 0.04em;
}
/* Knuth on Conway superarrows */
b.arr .rar {
  margin-right: 0;
}
b.arr .uar {
  margin: 0 0.04em 0 0;
}
b.gar { /* DRAFT generic arrow,
  but \u2927; "Nw+NE arrow NOT in jEdit */ }
/* OBSOLETE rule.bb bracket styling */
span.rL3, span.hL3,
span.cL1, span.cL3 {
  font-size: 0.96em;
}
.rL2 .rL2, .hL2 .hL2, .cL2 .cL2,
.rL4 .rL4, .hL4 .hL4, .cL4 .cL4 {
  font-size: 0.97em;
}
.pre .rL3, .pre .hL2, .pre .hL4,
.pre .cL3, .pre .hL1 .hL1 {
  line-height: 180%;
  position: relative;
  top: 0.06em;
}
.Sup, .Sub {
  padding-right: 0.05em;
}
/* Arithmetic */
span.dec {
  font-size: 0.96em;
  margin: 0 0.06em;
}
b.enddot, .Ddot .dot {
  margin: 0 0.06em 0 -0.06em;
}
.dec b.exp {
  color: inherit;
  font: 0.84em Verdana, Geneva, sans-serif;
  margin: 0 0.09em;
}
i.rep .dec,
.art .NoDec .dec, .art .Radix .dec {
  color: inherit;
}
.art .NoDec span.dec {
  font-size: inherit;
  letter-spacing: inherit;
  margin: 0;
}
span.Arit {
  font-style: italic;
  font-size: 0.95em;
  padding: 0 0.12em 0 0.06em;
  margin: 0 0 0 -0.06em;
}
.Arit .dec {
  font-size: inherit;
}
span.excl i {
  font-style: italic;
}
/* Controls from GGa3-Viewor.js */
.art input {
  font-family: 'Courier New', monospace;
}
input#Unit_in {
  font-size: 0.95em;
  line-height: 115%;
  padding: 0.05em 0.24em 0;
  margin: 0 -0.28em;
}
span#Unit_out {}
span.long {
  font-size: 0.95em;
}
span.xlong {
  font-size: 0.9em;
}
/* Parsed HTML Tax code */
ins.gg {
  background-color: #cccccc;
  color: #dd0000;
  white-space: normal;
  padding: 0 0.1em 0 0.05em;
  margin: 0 0.08em 0 0.06em;
}
em.eol {  /* by GG.Spans.brackets.fm_inside */
  font-size: 0.9em;
  padding: 0 0.3em 0 0.2em;
  margin: 0 0 0 0.25em;
}
ins.pageTax, ins.entTax, ins.noTax,
ins.Openor, ins.Codor, ins.Markor {
  font: normal bold 12px/130%
        Verdana, Geneva, sans-serif;
  letter-spacing: 0 !important;
  text-decoration: none;
  padding: 0 1px 1px;
  margin: 0 1px;
}
ins.pageTax, ins.entTax {
  color: #880000; }
ins.pageTax { /* already on page in ?Rules mode */
  background-color: #ffccbb; }
ins.entTax {      /* for 'altity' new Ent elems */
  background-color: #ddaaff; }
ins.noTax {     /* default for missing .taxName */
  background-color: #cccccc;
  color: #ff0000;
}
ins.Openor, ins.Codor, ins.Markor {
  color: #aa0000;
}
ins.Openor {
  background-color: #ffff66; }
ins.Codor {
  background-color: #aaffaa;  }
ins.Markor {
  background-color: #99ccff;
}
a ins.pageTax, a:hover ins.pageTax {
  text-decoration: none;  /* Does not work,
  is overruled by new browsers! 2020 */
}
ins.childTag {     /* e.g. 'gg Openor childTag' */
  font-weight: normal;
}
ins.startTag {
  padding-right: 1px;
  border-width: 1px 0 0 1px;
  border-top-color: #cc8888;
}
ins.endTag {
  padding-bottom: 1px;
  border-width: 0 1px 1px 0;
  border-bottom-color: #cc8888;
}
.artbox ins.gg samp,  /* Tax tag name */
.artbox ins.gg b,     /* Tax attributes */
.artbox ins.gg i {    /* Stax styles */
  white-space: pre;
  color: inherit;
  font-weight: inherit;
  font-style: inherit;
  margin: 0;
}
.artbox ins.gg samp {
  font: 12px Verdana, Geneva, sans-serif;
  font-weight: inherit;
  padding-right: 0.1em;
}
ins.gg b {
  padding-left: 0.1em; }
ins.gg i {
  padding-left: 0.15em;
}
span.stax {
  font-size: 0.95em;
  font-style: italic;
  font-weight: normal;
  white-space: normal;
}
del.excom {
  font: 13px/100% 'Courier New', monospace;
  text-decoration: none;
  padding: 1px 4px;
  margin: 0 1px;
}
del.multi {
  /* 'excom multi' multiline comments */
  line-height: 132%;
  white-space: pre;
  overflow: auto;
  margin: 3px -5px 2px;
  display: block;
}
.hide {      /* also for TEST by hand */
  display: none;
}