body.WWW {
  margin: 0;
}
.WWW div.RGB,
.WWW div#XXX {
  border: solid 6px #e6e6e6;
}
.WWW div.RGB {
  padding-top: 5px;
  border-top-width: 0;
  margin: 0 auto 3px;
}
.WWW img.gully {
  margin-bottom: 0;
}
div#XXX {
  font-family: Georgia, serif;
  margin: 24px auto 18px; }
#XXX h1 {
  font-size: 1.7em;
  text-align: center;
  padding: 0;
  margin: 18px 0 21px; }
#XXX ol {
  font-weight: bold;
  font-size: 1.26em;
  line-height: 126%;
  margin: 5px 2%; }
#XXX ol ol {
  font-size: 0.95em;
  margin: 2px 0 3px; }
#XXX li span.subtitle {
  color: #777777;
  font-size: 0.9em;
}
p#copy {
  font: italic 0.9em
    Arial, sans-serif;
  text-align: right;
  margin: 3px 6px; }
a#lastLink {
  text-decoration: none;
}
#WWW a.toGGle, #WWW a.haSJ {
  float: right;
  font: bold 1.4em Georgia, serif;
  text-decoration: none;
}
#WWW a.toGGle {
  margin: 0.35em 12px 0 0.3em; }
#WWW .bloggs a.toGGle {
  margin-top: 0.25em;
}
#WWW a.haSJ {
  background-color: #f4f4f4;
  font-size: 24px;
  padding: 0.1em 7px 3px;
  margin: 3px 0 0 6px;
  border: solid #dddddd;
  border-width: 0 0 1px 1px; }
#WWW .box a.haSJ {
  background-color: #e6e6e6;
  margin-top: 2px;
  margin-right: -1px;
}
@media screen and (min-width: 535px)
{      .jEdit {}
  .WWW div.RGB {
    width: 96%;
    max-width: 640px;
  }
  .WWW img.gully {
    width: 100%;
  }
  div#XXX {
    width: 75%;
    min-width: 320px;
    max-width: 508px;
  }
}
@media screen and (min-width: 1250px)
{      .jEdit {}
  .WWW div.RGB {
    max-width: 680px;
    font-size: 17px;
  }
  #WWW pre.exam, div#WWW code,
  #WWW ul.exam {
    font-size: 1em;
  }
  #WWW pre.rule, #WWW ul.rule {
    font-size: 1.05em;
  }
  #WWW div.refs p {
    text-align: justify;
    margin: 0 0.15em;
  }
}
@media screen and (max-width: 534px)
{      .jEdit {}
  .WWW div.RGB,
  .WWW div#XXX {
    width: auto;
    font-size: 15px;
    line-height: 125%;
    margin-left: 4px;
    margin-right: 4px;
  }
  .WWW div#XXX {
    margin: 4px;
  }
  .WWW img.gully {
    width: 100%;
  }
  div.RGB p, div.RGB dl {
    text-align: left;
  }
  .RGB q {
    font-style: normal;
  }
  .RGB span.note {
    margin-left: 0.3em;
  }
  .RGB div.refs p {
    margin: 0 0.05em;
  }
}
@media screen and (max-width: 400px)
{      .jEdit {}
  .WWW div.RGB,
  .WWW div#XXX {
    width: auto;
    min-width: 280px;
    font-size: 14px;
    margin-left: 0;
    margin-right: 0;
    margin-bottom: 0;
  }
  .WWW div#XXX {
    margin-top: -6px;
  }
  .WWW img.gully {
    width: 94%;
    margin-bottom: 9px;
  }
  #WWW .exam li, #WWW pre.exam {
    padding-left: 0.6em !important;
    padding-right: 0.05em !important;
  }
  .RGB span.note {
    margin-left: 0.2em;
  }
  .RGB sup.ref, .RGB sup.reff {
    margin-right: 0.4em;
  }
}

div.main-inner {
  padding-top: 18px;
}
div.date-posts, div.post-outer,
div.post {
  background: #f4f4f4;
}
.main-inner .widget .RGB h2 {
  margin: 0;
  padding: 0;
  border-bottom: 0;
}
.main-inner .widget .RGB h2 + div {
  border-top: 0;
  padding-top: 0;
}
div.date-outer {
  border-width: 0;
}
.post-body div.RGB {
  margin: 0 -9px !important;
}
.post-body div.box {
  padding: 0 6px;
  border-width: 2px 0;
}
.post-body .RGB .exam,
.post-body .RGB .rule {
  margin-left: 1px !important;
  margin-right: 1px !important;
}
.post-body .RGB .exam {
  border: solid 1px #eeeeee;
}
.post-body .RGB .rule {
  border: solid 2px #dddddd;
}
.post-body .box .exam,
.post-body .box .rule {
  margin-left: 0 !important;
  margin-right: 0 !important;
}
.post-body .RGB .box .exam {
  border-color: #d9d9d9;
}
.post-body .RGB .box .rule {
  border-color: #c3c3c3;
}
.main-inner .widget .post-body .RGB ul li {
  color: #000000;
}
.post-body sup.re a:link,
.post-body sup.ree a:link {
  color: #3778cd;
}
.post-body img.gully {
  border: solid 3px #fdfdfd;
}
.mobile q {
  font-style: normal;
}
div.aFB {
  position: relative;
  top: -1.9em;
  right: 5px;
  font: 0.9em/130% Arial, serif;
  text-align: right;
  margin-bottom: -2.25em; }
.blogg div.aFB {
  margin-bottom: -2.55em; }
.aFB a {
  background-color: #ffffff;
  text-decoration: underline;
  padding: 0 3px 2px;
}

div.RGB, div#XXX {
  background: #f4f4f4;
  color: #000000;
  font-size: 16px;
  line-height: 132%;
}
div.bloggs, div.blogg, div.text {}
.RGB h1, div.RGB h2, .RGB h3 {
  color: #000000;
  font-family: Georgia, serif;
  line-height: 120%;
  padding: 0;
  border: 0;
}
.RGB h1 {
  font-size: 1.9em;
  text-align: center;
  margin: 0.36em 1% 0.22em !important; }
div.RGB h2 {
  font-size: 1.75em;
  text-align: left;
  margin: 9px 9px 11px !important;
}
div.RGB h2.autor {
  text-align: center;
  margin: 9px 1% 18px 20% !important; }
div.RGB h2.autor, .autor {
  color: #777777; }
strong.autor {
  margin: 0;
}
.RGB h3 {
  font-size: 1.6em;
  margin: 15px 9px 11px;
}
h3 b {
  white-space: nowrap; }
h3 span.subtitle {
  font-size: 0.8em;
  margin: 0 0.03em;
}
span.sect {
  margin-right: 2px;
}
div.motto {
  margin-bottom: 9px;
}
div.motto p {
  font: italic 1.05em/120%
        Georgia, serif;
  text-align: right;
  margin: 6px 14px 6px 11%;
}
.motto cite {
  background-color: #e6e6e6;
  font-style: normal;
  line-height: 130%;
  padding: 1px 4px 2px;
  cursor: help;
}
.RGB p, .RGB ul, .RGB dl {
  font-family: Arial, sans-serif;
  margin: 9px 8px;
}
.RGB p {
  text-align: justify;
}
.RGB .blogg div.text ul {
  padding: 0 0 0 8%; }
.RGB .blogg div.text ul li {
  padding: 0;
  margin: 3px 0;
}
.RGB .blogg dt {
  font-weight: normal;
  margin: 4px 0 3px; }
.RGB dd {
  margin: 2px 2% 3px 5%;
}
.RGB hr {
  margin: 1.15em 12%;
}
span.indent {
  line-height: 180%;
  margin-left: 6%;
}
em, cite, q {
  margin-right: 1px; }
dfn, dfn q {
  font-style: inherit;
}
strong, dfn {
  font-weight: bold;
  margin: 0 0.03em;
}
.RGB abbr {
  font-variant: small-caps;
  font-size: 1.1em;
  line-height: 100%;
}
.dp {
  margin-left: 1px;
}
.nobr {
  white-space: nowrap;
}
q, cite {
  font-style: italic; }
em code, q code {
  margin-right: 0;
}
.refs q {
  padding: 0 2px 0 1px;
  margin: 0;
}
q.en {
  cursor: help; }
q.en:hover {
  background-color: #ffffff;
}
q em {
  font-style: normal; }
q em code {
  margin-right: 1px;
}
q.en:hover em {
  background-color: #f4f4f4;
}
sub, sup {
  font-size: 0.85em;
  line-height: 0;
  white-space: nowrap;
}
h2 a, h3 a, .RGB h4 a.book {
  text-decoration: none; }
h2 a {
  margin-right: 0.18em; }
h3 a {
  margin-right: 0.26em; }
h4 a {
  margin-right: 0.1em;
  font-size: 1.1em;
  line-height: 100%;
}
.text a.book {
  text-decoration: underline;
  padding: 0 1px;
}
.RGB sup a {
  text-decoration: none; }
sup a:hover {
  text-decoration: underline;
}
.RGB a, strong.B, #XXX a,
#WWW a.sHow
 {
  color: #0066cc; }
.RGB a:visited {
  color: #990099;
}
strong.G, a.book:visited,
a.home:visited, a.proof:visited,
sup.ref a, sup.reff a,
.RGB sup a:visited, .RGB a.car,
#WWW a.toGGle, #WWW a.haSJ,
#XXX a:visited {
  color: #009000;
}
.RGB a:hover, strong.R,
.RGB sup.re a:hover,
.RGB sup.ree a:hover,
.RGB .text a.def:hover,
#WWW .text a.book:hover,
#WWW a.toGGle:hover,
#WWW a.haSJ:hover, #XXX a:hover {
  color: #ee0050;
}
div.box {
  background-color: #e6e6e6;
  padding: 0 1px;
  border-style: solid;
  border-color: #aaaaaa;
  border-width: 3px 5px;
  margin: 14px -6px;
}
.RGB h4 {
  font: bold 1.2em/130% Arial, sans-serif;
  color: #666666;
  margin: 0.3em 8px 0.5em;
}

div.foot {
  margin-top: 20px;
  text-align: center;
}
img.gully {
  width: 80%;
  max-width: 520px;
  vertical-align: bottom;
  padding: 0;
  margin: 15px auto 6px;
}
div.refs {
  background-color: #e6e6e6;
  font: 0.95em/125% Arial, sans-serif;
  padding: 1px 0.2em 3px 0.3em;
  border: solid 1px #cccccc;
  margin: 18px 1em 4px 2.2em;
  text-align: left;
}
div.refs p {
  text-align: left;
  margin: 0 0.1em;
}
sup.re,
sup.ree,
sup.ref,
sup.reff {
  font-family: Verdana, Arial, sans-serif;
  font-weight: bold;
}
sup.ref, sup.reff {
  position: relative;
  top: 0.2em;
  background-color: #e6e6e6;
  padding: 0.05em 0.4em 0.2em 0.15em;
  border: solid 1px #cccccc;
  border-right-color: #e6e6e6;
  margin: 0 1em 0 -2.1em; }
sup.first {
  top: 0.06em;
  line-height: 108%; }
sup.ref {
  padding-left: 0.3em;
  padding-right: 0.6em; }
sup.reff {
  margin-left: -2.3em;
}
sup.re, sup.ree {
  font-style: italic;
  margin-left: 0.1em; }
sup.ree {
  margin-right: 0.2em;
}

.RGB pre, ul.exam, ul.rule {
  background-color: #ffffff;
  font: 1.05em/142%
    'Courier New', monospace;
  text-align: left;
  margin: 12px 0;
}
.RGB ul.ConKnu {
  background-color: #f0f0ff;
}
.RGB pre {
  white-space: pre-wrap;
  padding: 0.17em 0.2em 0.17em 1.5em;
}
.RGB .blogg .text ul.exam,
.RGB .blogg .text ul.rule {
  list-style: none;
  padding: 0.11em 0;
}
.RGB .blogg .text ul.exam li,
.RGB .blogg .text ul.rule li {
  white-space: pre-wrap;
  padding: 0.11em 0.2em 0.11em 1.5em;
}
.RGB .blogg .text ul.exam li {
  margin: 0;
}
.RGB .blogg .text ul.exam li.sm {
  line-height: 132%;
  padding: 0.18em 0.1em 0.18em 0.6em;
}
.box .exam, .box .rule {
  background-color: #fefefe;
}
.inv {
  visibility: hidden;
}
span.note {
  font: 0.9em Arial, sans-serif;
  white-space: nowrap;
  margin-left: 0.5em;
}
span.note code {
  font-size: 1.25em;
}
pre.rule, ul.rule {
  font-size: 1.1em;
  border-style: solid;
  border-color: #cccccc;
  border-width: 1px 6px;
}
pre.rule,
.RGB .blogg .text ul.rule {
  margin: 11px -6px;
}
.RGB pre.rule {
  padding-top: 0.2em;
  padding-bottom: 0.22em;
}
.RGB .blogg .text ul.rule li {
  margin: 1px 0;
}
.box .rule {
  border-width: 1px 5px;
  border-color: #707070;
}
.box pre.rule,
.RGB .blogg .text .box ul.rule {
  margin-top: 10px;
  margin-bottom: 10px;
}
.hide {
  display: none;
}

code {
  font: 1.05em/105%
    'Courier New', monospace;
  font-weight: inherit;
  white-space: nowrap;
  margin: 0 0.05em;
}
.dot, .dotL, .dotR,
.rex {
  color: #dd00dd;
}
.rep, .repL, .repR, .repS, .repT,
.repVl, .repVr {
  color: #ee00ee;
}
i.dotL {
  margin: 0 -0.1em 0 0.1em; }
i.dotR {
  margin: 0 0.12em 0 -0.12em;
}
sup.dot {
  font-size: 1em;
  position: relative;
  top: -0.06em;
}
i.rep, i.repL,
i.repR, i.repS, i.repT,
i.repVl, i.repVr {
  position: relative;
  top: -0.06em;
  background-color: #f4f4f4;
  font-size: 0.96em;
  line-height: 125%;
  border: solid #f6d9f6;
  border-width: 0 0 2px;
  margin: 0 0.05em 0 0.2em; }
i.rep, i.repL {
  padding: 0 0.3em 0 0.05em; }
i.repL {
  margin-left: 0; }
i.repR {
  padding: 0 0.15em 0 0.2em;
  margin-left: 0.25em; }
i.repS {
  padding: 0 0.24em 0 0.18em; }
i.repT {
  padding: 0 0.12em 0 0.06em;
}
i.repVl, i.repVr {
  border-right-width: 2px; }
i.repVl {
  padding: 0.15em 0.2em 0; }
i.repVl b {
  margin-right: 0.18em; }
i.repVr {
  padding: 0.15em 0.24em 0;
  margin-left: 0.25em; }
.repVr b {
  margin: 0 0.18em 0 0.12em;
}
i.rex {
  margin: 0 0.12em 0 -0.12em;
}
code.rep {
  margin-right: 0.12em; }
code.repL {
  margin: 0 0.16em 0 0;
}
code i.rex {
  font-size: inherit;
}
.meta, .domain, .rex i.rex {
  color: #9900cc; }
.rex i.rex {
  font-size: 1em;
  margin: 0 0.06em;
}
i.meta {
  font-style: normal;
}
span.domain {
  font-size: 0.98em;
  line-height: 130%;
  margin-left: 0.2em;
}
.logic, .lexic {
  color: #999999;
  font-weight: bold; }
b.logic {
  position: relative;
  top: 0.05em;
  font-size: 1.2em;
  line-height: 90%;
  margin: 0 0.25em;
}
code.logic, code.lexic {
  color: #808080; }
code.logic, span.logic,
.lexic, code.lexic {
  font-size: 1.1em;
  line-height: 100%; }
code.logic {
  margin: 0 0.18em;
}
a.proof {
  position: relative;
  top: 0.2em;
  left: 0.1em;
  font-weight: bold;
  font-size: 1.4em;
  line-height: 0;
  text-decoration: none;
}
.dec {
  color: #884400; }
.exam .dec {
  margin-left: 0.05em; }
.exam .repT .dec {
  margin-left: 0;
}
span.exp {
  font-size: 1.15em;
  line-height: 90%;
  margin: 0 0.04em;
}
span.cup {
  margin: 0 0.1em;
}
.psi {
  font-size: 1.1em;
  font-weight: inherit;
  line-height: 95%; }
code.psi {
  font-size: 1.15em;
}
span.gt, span.ge {
  margin: 0 0.12em 0 0.18em; }
span.lt, span.le {
  margin: 0 0.16em 0 0.05em; }
span.ge, span.le {
  position: relative;
  top: 0.08em; }
.rep .gt, .repL .gt,
.rex .gt, .domain .gt,
.rep .ge, .repL .ge,
.rex .ge, .domain .ge {
  margin: 0 0.07em 0 0.13em;
}
.is {
  margin: 0 0.16em; }
.exam .is, .rule .is {
  margin: 0 0.32em; }
span.isL {
  margin: 0 0.24em 0 0.12em;
}
span.eqL,
.RGB i.eqL {
  margin: 0 0.12em 0 -0.12em; }
code.eqL {
  margin: 0 0.16em 0 0;
}
.RGB p.long {
  line-height: 140%;
  text-align: left;
}
.norm {
  color: #000000 !important;
}
pre.sm, li.sm, span.sm, b.sm {
  font-size: 0.94em; }
li.sm, span.sm, b.sm {
  line-height: inherit;
  letter-spacing: -0.03em;
}
.lh {
  line-height: 160% !important; }
li.lh {
  padding-top: 0.25em !important;
  padding-bottom: 0.18em !important;
}
.m0 {
  margin: 0 !important; }
.m1 {
  margin: 0 0.06em !important; }
.m2 {
  margin: 0 0.11em !important;
}
.RGB .text .ml0 {
  margin-left: 0; }
.RGB .text .mr0 {
  margin-right: 0; }
.RGB .text .mr1 {
  margin-right: 0.06em; }
.RGB .text .mr2 {
  margin-right: 0.12em;
}

b.set, .set b,
.in, .in b,
b.L, b.L0, .L0 b,
b.L1, b.L2, b.L3, b.L4,
.Bell .L b {
  font-weight: inherit;
}
.in, .in b {
  margin: 0 0.06em;
}
b.L0, b.L0 b, b.L1, b.L2, b.L3 {
  font-size: 0.97em;
}
b.L0 {
  margin: 0 0.04em; }
.Ace b.L0 {
  margin: 0 -0.04em 0 0.04em; }
.Bell b.L0 {
  margin: 0 0.08em 0 -0.04em; }
.Bell b.L {
  margin: 0 0 0 0.08em; }
.L0 b, .L1 b, .L2 b, .L3 b.L0,
.Bell .L b {
  font-size: 0.97em;
  margin: 0 0.1em 0 -0.1em;
}
.RGB .set b {
  font-size: inherit;
}
.set, .in, .L, .L0 {
  color: #0000cc;
}
.set b, .in b,
.L0 b, .L1, .Bell .L b {
  color: #009900;
}
p .L0 b, p .L1 {
  color: #008800;
}
.L2, b.L2, p b.L2, .Bell b.L2 {
  color: #ee0000;
}
.RGB b.L2 b, .L3, b.L3,
.Bell b.L3 {
  color: #606060; }
p b.L3, code.L3 {
  color: #505050;
}
.RGB p .L2 b, .RGB p .L3 {
  color: #888888;
}
.L4, b.L2 b b.L4, p b.L4,
.Bell b.L4 {
  color: #0066cc;
}

@media print {
  .RGB, .RGB * {
    background: #ffffff !important;
  }
  div.box, div.refs, .refs sup,
  i.rep, i.repL, i.repR, i.repS,
  i.repT, i.repVl, i.repVr {
    border: none;
  }
  div.box {
    margin: 15px 4%;
  }
  div.box .rule {
    border-color: #cccccc;
  }
  .RGB .rule {
    border-width: 1px 2px;
    margin: 15px 20px !important;
  }
  .logic, .lexic {
    color: #66aaaa;
  }
  .post-body .RGB a {
    text-decoration: none !important;
    color: #3778cd !important;
  }
  .RGB img.gully {
    display: none;
  }
}
@media print {
  #WWW, #WWW * {
    background: #ffffff !important;
  }
  #WWW div.RGB {
    border: none;
  }
  #WWW div.box {
    margin: 16px 5%;
  }
  #WWW div#XXX {
    border-left-color: #c0d9c9;
    border-bottom-color: #e9cccc;
    border-right-color: #c3d3e3;
  }
  #WWW a {
    text-decoration: none;
  }
  #WWW a.toGGle {
    display: none;
  }
}