@media handheld {
  body .web .Gmob{} /* fail safe .Gmob scripted */
  div.art {
    font-size: 0.85em;
  }
  img.right {
    width: 36%;
  }
  #G_Index ul ul {
    padding-left: 0.6em;
  }
  #G_Index ul ul ul {
    padding-left: 1.4em;
  }
  .art abbr { /* no Verdana on Android */
    font-family: Arimo, Jost, sans-serif;
  }
  .def dfn {
    font-family: Georgia, Arimo, Jost, sans-serif;
    padding: 0.1em 0.2em 0.05em 0.3em;
    margin: 0 0.16em 0 0.8em;
  }
  ol.noHover:hover { /* overrule flippy:hover */
    border-color: #77aa77;     /* use .sticky */
  }
  .eve ol.noHover:hover {
    border-color: #003311;
  }
  a.noHover:hover {
    z-index: 45;
    background-color: #ffffff;
    border-color: inherit;
  }
  .eve a.noHover:hover {
    color: #33eebb;
    background-color: #003333;
    border-color: #224488;
  }
  .bbS span.deep {
    padding: 0.06em 0 0 0;
  }
  .art span.approx {
    font-size: 1.15em;
  }
  b.gle {
    top: 0;
  }
  .gr {
    font-size: 0.96em; }
  .bbS .gr, .bbS .bbS .gr,
  sub .gr, sub .gr sub .gr,
  .rep .gr {
    font-size: 1em; }
  .gr sub {
    font-size: 0.96em;
  }
  b.arr {
    font-size: 0.95em;
  }
  b.uar {
    font-size: 0.9em;
    position: static;
  }
  b.rar {
    margin: 0 0.04em;
  }
  .arr b.rar {
    margin-right: 0;
  }
  div.Gplain {
    padding-left: 1%;
    padding-right: 1%;
  }
  .Ggroter #G_Header strong {  /* big psi */
    font-size: 1.2em;
  }
  .eve abbr {
    color: #99ee99;
  }
}
/* Adapt file code.css */
.Gmob div.art { /* DRAFT fine tune PRE */
  font-size: 0.85em;
}
.Gmob img.right {
  width: 36%;
}
.Gmob #G_Index ul ul {
  padding-left: 0.6em;
}
.Gmob #G_Index ul ul ul {
  padding-left: 1.4em;
}
.Gmob .art abbr {
  font-family: Arimo, Jost, sans-serif;
}
.Gmob .def dfn {
  font-family: Georgia, Arimo, Jost, sans-serif;
  padding: 0.1em 0.2em 0.05em 0.3em;
  margin: 0 0.16em 0 0.8em;
}
.Gmob ol.noHover:hover {  /* overrule flippy */
  border-color: #77aa77;      /* use .sticky */
}
.Gmob .eve ol.noHover:hover {
  border-color: #003311;
}
.Gmob a.noHover:hover {
  z-index: 45;
  background-color: #ffffff;
  border-color: inherit;
}
.Gmob .eve a.noHover:hover {
  color: #33eebb;
  background-color: #003333;
  border-color: #224488;
}
.Gmob .bbS span.deep {
  padding: 0.06em 0 0 0;
}
.Gmob .art span.approx { /* DRAFT */
  font-size: 1.15em;
}
.Gmob b.gle {
  top: 0;
}
.Gmob .gr {
  font-size: 0.96em; }
.Gmob .bbS .gr, .Gmob .bbS .bbS .gr,
.Gmob sub .gr, .Gmob sub .gr sub .gr,
.Gmob .rep .gr {
  font-size: 1em; }
.Gmob .gr sub {
  font-size: 0.96em;
}
.Gmob b.arr {
  font-size: 0.95em;
}
.Gmob b.uar {
  font-size: 0.9em;
  position: static;
}
.Gmob b.rar {
  margin: 0 0.04em;
}
.Gmob .arr b.rar {
  margin-right: 0;
}
/* Adapt file special.css */
.Gmob div.Gplain {
  padding-left: 1%;
  padding-right: 1%;
}
.Gmob .Ggroter #G_Header strong {
  font-size: 1.2em;
}
.Gmob .eve abbr {
  color: #99ee99;
}


@media print {
  body {
    background: #ffffff !important;
  }
  body * {
    background-color: transparent !important;
  }
  .eve * {
    color: #000000 !important;
    border-color: #aaaaaa !important;
  }
  img {
    display: none !important;
  }
  div.art {
    padding: 0 !important;
    border: none !important;
  }
  .art p {
    text-align: justify !important;
  }
  pre.pre, ul.pre {
    border: solid #aaaaaa 1px !important;
  }
  div#G_theme, div#G_Footer {
    display: none;
  }
  div#G_Header {
    text-align: center;
    margin: 1.2em auto;
  }
  #G_Header big, #G_Header b, .log {
    color: #aaaaaa !important;
  }
  #G_Main #G_Legend tbody tr:nth-child(1) td {
    border-color: transparent; /* this hack is our
    best print effort - transparent border suffers
    from a rendering bug in Firefox, so set border
    to background-color explicitely on webpage. */
  }
  div#F_Guide {
    display: none !important;
  }
}