/* Title header box */
#G_Header h1, #G_Header h2,
#G_Header h3 {
  padding: 0;
}
#G_Header h1 { /* main titel */
  font-size: 1.5em;
  line-height: 135%;
  letter-spacing: 0.03em;
  margin: 0.52em 0.4em 0.3em 20px;
}
#G_Header h2 { /* subtitle */
  font-size: 1.25em;
  font-style: italic;
  letter-spacing: 0.01em;
  margin: 0.5em 1em 1em 23px;
}
#G_Header h3 { /* author */
  margin: 0.6em 1.5em 0.6em 2.8em;
}
#G_Header span {
  white-space: nowrap;
}
#G_Header b, #G_Header strong {
  line-height: 0;
  position: relative;
}
#G_Header b {
  top: 0.08em;
  font-size: 1.25em;
  font-weight: bold;
}
#G_Header strong {
  font-weight: bolder;
  font-size: 1.12em;
  top: 0.02em;
}
#G_theme {
  display: none; /* script removed */
}
#G_theme input { /* theme checkbox */
  margin-left: 1em;
  cursor: pointer;
}
#G_theme a.on {
  font-size: 1.25em;
}
#G_theme a.dyna {
  text-decoration: none;
  cursor: pointer;
}
/* Maths rule definition list fixed on top */
.Gmain ol.sticky {  /* toggle by a.anch click */
  position: fixed;
  top: 0;
  right: 0;
  z-index: 50;
  max-width: 95%;
  max-height: 45%;
  overflow: auto;
  font-size: 0.95em;  /* ol.pre 1.05em; */
  padding-top: 0.1em;
  padding-bottom: 0.2em;  /* ol.pre 0.05em; */
  border-style: solid;
  border-width: 0 0 2px 2px;
  margin: 0;
}
.Gmain ol.sticky li {
  padding-right: 1.6em;
}
.Gmain ol.flippy {
  cursor: pointer;
}
.Gmain ol.sticky dfn {
  font-size: 0.7em;
  margin-left: 0.2em;
}
.sticky a.anch {
  top: 4px;
}
.Gmain ol.stub { /* in place for moved list */
  list-style: none;
  margin-top: 0.4em;
  margin-bottom: 0.4em;
}
.Gmain li.stub {
  font: bold 0.75em
        Verdana, Georgia, sans-serif;
  padding-bottom: 0.04em;
}
/* Guide box for F-buttons */
div#F_Guide {
  display: none;
}
#F_Guide ul {
  list-style: none;
}
#F_Guide ul {
  padding-left: 1.5em;
  margin-bottom: 0.8em;
}
#F_Guide li {
  margin-top: 0.2em;
}
#F_Guide strong { /* like Fn in button */
  font: bold 1em Verdana, sans-serif;
}
#F_Guide li strong {
  margin-right: 0.25em;
}
/* Book index box */
div#G_Index {
  padding-right: 0.2em; /* DRAFT here, but */
}                       /* good for mobile */
#G_Index h2, #F_Guide h2 {
  text-align: center;
}
#G_Index ul {
  padding: 0;
  margin: 0.6em 0 0.55em 0.8em;
}
#G_Index ul ul {
  padding-left: 1.2em;
  margin: 0;
}
#G_Index ul ul ul {
  padding-left: 2.4em;
  margin-bottom: 0.05em;
}
#G_Index li {
  list-style-type: none;
  padding: 0;
  margin: 0 0 0.12em;
}
#G_Index li li {
  margin-bottom: 0;
}
#G_Index li.dummy ul {
  margin-top: -0.75em;
}
#G_Index li.dummy ul ul { /* DRAFT */
  margin-top: 0;
}
#G_Index strong {
  line-height: 170%;
}
#G_Index span.subs {
  font-size: 0.96em;
  line-height: 100%;
}
li.mash span.sect {
  white-space: nowrap;
}
#G_Index span.num {
  font-size: 0.95em;
  margin-right: 0.05em;
}
#G_Index li.mash span.num {
  margin-left: 0.05em;
}
li.mash span.subs {
  white-space: normal;
  margin: 0 0.25em 0 0.03em;
}
#G_Index .subs em.short {
  white-space: nowrap;
}
#G_Index a {
  line-height: 140%;
  letter-spacing: 0.03em;
  margin: 0 0.1em;
}
#G_Index li.mash a {
  margin: 0 0.2em 0 0.03em;
}
#G_Index code, #G_Index var,
#G_Index abbr {
  font-weight: normal;
  background-color: inherit;
  color: inherit;
}
#G_Index a * { /* remove gaps in underline */
  margin: 0;
  padding: 0;
}
#G_Index a code,
#G_Index a var { /* compensate */
  font-size: 1.1em;
}
#G_Index code b.uar {
  position: static;
}
#G_Index .gr {
  font-size: 1.1em;
}
/* Footer container has class .Gmain */
div#G_Footer {
  max-width: 580px;
  min-width: 290px;
  text-align: center;
  margin: 1.2em auto;
}
#G_Footer h4 a {
  cursor: help;
}
table#G_Legend {
  display: none;  /* option to only show by F3 */
  width: 90%;
  font: 1em Arial, sans-serif;
  padding: 0.06em 0.4em 0.3em;
  margin: 1.4em auto;
}
#G_Legend th {
  font: bold 1.05em Arial, sans-serif;
  letter-spacing: 0.05em;
  text-align: center;
  padding-bottom: 0.2em;
  border-bottom: solid 2px;
}
#G_Legend td {
  text-align: left;
  padding: 0 0.2em 0 0.6em;
}
#G_Legend tbody tr:nth-child(1) td {
  border-top: solid 0.2em;    /* margin hack */
}
#G_Legend tbody td:nth-child(1) {
  width: 2.5em;
  text-align: center;
  padding: 0.15em 0.2em 0.05em;
}
#G_Legend td code {
  color: inherit;
  font: 1.1em 'Courier New', monospace;
  margin: 0;
}
#G_Legend td code .eq {
  font-size: 1.1em;
}
#G_Legend td code b.glt {
  font-weight: bold;
  font-size: 1.05em;
  line-height: 120%;
  letter-spacing: -0.08em;
}
#G_Legend td var {
  position: relative;
  bottom: 1px;
  font-style: inherit;
}
/* Entities */
div#G_Ents {
  width: 70%;
  font-family: 'Courier New', monospace;
  padding: 0.3em 0.4em 0.35em;
  border: solid 2px;
  margin: 1.2em auto;
  display: none;
}
#G_Ents ins {
  font-weight: bold;
  text-decoration: none;
  cursor: help;
}
div#Script_Ents {
  display: none;
}
a#MP3 {
  background-color: #000000;
  color: #ffffff;
  font: bold 0.8em Georgia, serif;
  padding: 0 0.2em 0.2em 0.25em;
}
a#MP3:hover {
  background-color: #ff3333;
  color: #000000;
}
/* Test message console,
   same for .day and .eve page */
div#G_Alert {
  background-color: #000000;
  color: #ffffff;
  font: 0.92em/125% Georgia, serif;
  text-align: left;
  padding: 0.5em 0.3em;
  border: double 5px #ffaaaa;
  margin: 1em 0;      /* no WorkWatch.js */
}
#G_Alert h4 {
  color: #ffffff;
  font-size: 1.25em;
  text-align: center;
  margin: 0.1em 0 0.75em;
}
#G_Alert h4 a {
  color: #66ee66;
  font-size: 1.2em;
  font-style: normal;
  text-decoration: underline;
  padding: 0 0.2em;
  margin: 0 0.2em;
  cursor: pointer;
}
#G_Alert h4 a:hover {
  color: #ff0000;
  border-bottom: 2px solid #ff0000;
}
#G_Alert p {
  margin: 0.12em 0;
}
#G_Alert p strong,   /* label left */
#G_Alert p b {       /* counter right */
  color: #ff0000; }
#G_Alert p strong {
  margin: 0 0.2em 0 0.4em; }
#G_Alert p b {
  margin-left: 0.2em;
}
#G_Alert p span {}   /* message body */
#G_Alert p em {      /* group */
  color: #00ee00;
  font-size: 0.96em;
  margin-left: 0.2em; }
#G_Alert p i {       /* trunk length right */
  color: #ff8888;
  margin-left: 0.08em;
}
#G_Alert p.grayhide {  /* if no count */
  font-size: 0.96em;
  line-height: 125%; }
#G_Alert .grayhide strong,
#G_Alert .grayhide em {
  color: #bb8888; }
#G_Alert .grayhide span {  /* message */
  color: #999999;
  font-size: 0.9em;
  letter-spacing: 1px; }
#G_Alert .grayhide i {
  color: #33bb33;
}
/* Side buttons by GG.SideView */
input.G_F {
  font: bold 15px Verdana, sans-serif;
  padding: 0.1em 0.4em 0.15em 0.3em;
  border: solid 1px;
  border-right-width: 0;
  position: fixed;
  right: 0;
  z-index: 90;
  cursor: pointer;
}
body input.F_ri { /* extra for F0 checkboxes */
  padding-right: 2em;
}
input.G_Fx { /* checkbox for G_F button view */
  font-size: 15px;
  position: fixed;
  right: 0.12em;
  z-index: 92;
  cursor: pointer;
}
/* Script style bottom at SideView.makeButtons()
   Set custom SideView.button.bottom properties,
   to position a column of input#G_F buttons */
input.F_on {
  padding-right: 0.8em;
}
body input.F0_ghost,
body.eve input.F0_ghost {
  background-color: transparent;
  color: transparent;
  border-style: none;
}
body input.F0_ghost:hover {
  border-style: solid;
}
/* DRAFT scripted GG.UrlBar */
div.urlbar {
  background-color: #c0ccd0;
  color: #000000;
  font: bold 14px/130% Arial, sans-serif;
  text-align: center;
  padding: 2px 5px;
  border: solid #9099a0;
  border-width: 0 0 1px 0;
  margin-bottom: 6px;
}
.urlbar:hover {
  background-color: #ccddee;
  border-bottom-color: #8899aa;
}
.urlbar a {
  color: #000099;
  text-decoration: none;
}
.urlbar a:hover {
  color: #0000dd;
  text-decoration: none;
}
div.dynabar { /* .urlbar dynabar by GG.UrlBar */
  width: 100%;
  margin: 0 auto;
  position: fixed;
  top: 0;
  z-index: 100;  /* max */
}