/* header */
div#xkr { text-align: right; padding: 0 0.4em; font-size: 2.2em; color: #075EC7 }
div#xkr a { color: #075EC7; text-decoration: none }
span.xkr-slash { font-weight: bold; font-size: 1.2em }
span.xkr-sec { font-size: 0.8em; color: #1CBB50 }
span.xkr-sec2 { font-size: 0.6em; color: #FF8080 }

/* page-wide general elements */
a:link { color: #0080FF; background-color: transparent }
a:hover, a:visited:hover { color: #444; background-color: transparent }
a:visited, a:active { color: #008; background-color: transparent }
body { font-family: Verdana, sans-serif; font-size: 13px;
  margin: 2em 15% 2em 15%; cursor: default; background-color: #fff; color: #000;
  padding: 0 3em; border-right: 1px solid #333; border-left: 1px solid #333 }
button, a { cursor: pointer }
code { font-family: monospace }
code.block { display: block; white-space: pre }
h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { font-size: 1.2em }
p { padding: 0.2em 0.6em }

/* ch1 (class h1) formatting */
*.ch1 { margin: 1em }
*.ch1:target { background-color: #efefef }
*.ch1 h1 { color: #777; margin: 0.8em 0; font-size: 1.5em;
  border-bottom: 1px solid #777; border-color: inherit }

/* ch2 (class h2) formatting */
*.ch2 { border-width: 0; border-style: solid; padding: 0 1em 0.8em 1em;
  margin-bottom: 1em; height: 1% }
*.ch2:target { border-width: 1px 0; background-color: #efefef }
*.ch2 > * { margin: 0 0.5em }
*.ch2 h2 { margin: 1em 0; font-size: 1.3em; font-weight: normal;
  border-style: solid; padding-left: 0.4em; border-width: 0 0 2px 2px;
  border-color: inherit }

/* ch3 (class h3) formatting */
*.ch3 { padding: 0 1em 0.1em 0; border-width: 0 }
*.ch3:target { border-width: 1px 0; background-color: #efefef }
*.ch3 h3 { font-size: 1.1em; font-weight: normal; border-width: 0 0 1px 0;
  border-style: solid; padding: 0 0.2em; border-color: inherit;
  margin: 1em 0 }

h4 { margin-top: 0.4em }

/* color schemes */
*.hgray { border-color: #585858 }
*.hgray:target { color: #666; background-color: #fafafa }
*.hgreen { border-color: #00b300 }
*.hgreen:target { color: #060; background-color: #F2FFF2 }
*.hred { border-color: #CE0005 }
*.hred:target { color: #600; background-color: #FFF2F2 }
*.hblue { border-color: #4E94FC }
*.hblue:target { color: #006; background-color: #F4FAFF }
*.horange { border-color: #F29200 }
*.horange:target { color: #E14900; background-color: #FFF9F2 }
*.hpurple { border-color: #8E00B3 }
*.hpurple:target { color: #430060; background-color: #FCF2FF }

*.nobg { background: none !important }
div#copyright { text-align: center; border: none; font-size: 0.8em }
div#copyright a { border: none }
div#copyright a img, div#copyright a:link img { border: 1px solid transparent }
div#copyright a:hover img { border: 1px solid #ccc }