pre.sh_sourceCode {
  background-color: white;
  color: black;
  font-style: normal;
  font-weight: normal;
}

pre.sh_sourceCode .sh_keyword { color: blue; font-weight: bold; }           /* language keywords */
pre.sh_sourceCode .sh_type { color: darkgreen; }                            /* basic types */
pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
pre.sh_sourceCode .sh_specialchar { color: pink; font-family: monospace; }  /* e.g., \n, \t, \\ */
pre.sh_sourceCode .sh_comment { color: brown; font-style: italic; }         /* comments */
pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
pre.sh_sourceCode .sh_preproc { color: darkblue; font-weight: bold; }       /* e.g., #include, import */
pre.sh_sourceCode .sh_symbol { color: darkred; }                            /* e.g., <, >, + */
pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: cyan; }   /* TODO and FIXME */

/* Predefined variables and functions (for instance glsl) */
pre.sh_sourceCode .sh_predef_var { color: darkblue; }
pre.sh_sourceCode .sh_predef_func { color: darkblue; font-weight: bold; }

/* for OOP */
pre.sh_sourceCode .sh_classname { color: teal; }

/* line numbers (not yet implemented) */
pre.sh_sourceCode .sh_linenum { color: black; font-family: monospace; }

/* Internet related */
pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }

/* for ChangeLog and Log files */
pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: darkblue; font-weight: bold; }
pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: darkgreen; }

/* for Prolog, Perl... */
pre.sh_sourceCode .sh_variable { color: darkgreen; }

/* for LaTeX */
pre.sh_sourceCode .sh_italics { color: darkgreen; font-style: italic; }
pre.sh_sourceCode .sh_bold { color: darkgreen; font-weight: bold; }
pre.sh_sourceCode .sh_underline { color: darkgreen; text-decoration: underline; }
pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
pre.sh_sourceCode .sh_argument { color: darkgreen; }
pre.sh_sourceCode .sh_optionalargument { color: purple; }
pre.sh_sourceCode .sh_math { color: orange; }
pre.sh_sourceCode .sh_bibtex { color: blue; }

/* for diffs */
pre.sh_sourceCode .sh_oldfile { color: orange; }
pre.sh_sourceCode .sh_newfile { color: darkgreen; }
pre.sh_sourceCode .sh_difflines { color: blue; }

/* for css */
pre.sh_sourceCode .sh_selector { color: purple; }
pre.sh_sourceCode .sh_property { color: blue; }
pre.sh_sourceCode .sh_value { color: darkgreen; font-style: italic; }

/* other */
pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
pre.sh_sourceCode .sh_paren { color: red; }
pre.sh_sourceCode .sh_attribute { color: darkgreen; }
pre.sh_sourceCode {
  font-family: monospace; }

pre.sh_sourceCode .sh_keyword {
  color: #404D8E;
  font-weight: normal; }

pre.sh_sourceCode .sh_string {
  color: #458640; }

pre.sh_sourceCode .sh_type {
  color: #458640; }

/*# sourceMappingURL=out.sh_w2ch.css.map */
@import "normalize.css/normalize.css";
body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  line-height: 1.5;
}

h1 {
  font-size: 24px;
  font-weight: bold;
}

h2 {
  font-size: 18px;
  font-weight: bold;
  color: #d9e021;
}

p, .p {
  margin: 1em 0;
}
@media (max-width: 30em) {
  p, .p {
    width: 100%;
  }
}

strong {
  font-weight: bold;
}

pre {
  font-family: monospace;
  color: #333;
}

pre:focus {
  outline: none;
  border: none;
}

select {
  background: white;
  border: 1px solid #aaa;
  margin: 0;
  vertical-align: middle;
}

input {
  vertical-align: middle;
}

b {
  font-weight: normal;
}

body {
  background: #dfeaff url(/i/bg.png) repeat-x top left;
}
body:before {
  position: absolute;
  content: "";
  z-index: -1;
  left: 50%;
  margin-left: -495px;
  top: -170px;
  bottom: 0px;
  right: 0;
  background: url(/i/bg-line.png) top left;
}

.l-container {
  margin: auto;
  max-width: 840px;
  min-height: 600px;
  position: relative;
  padding-top: 70px;
}
.l-content-main, .l-content-extra {
  max-width: 800px;
  background: #4d4d4d;
  color: #ccc;
  padding: 10px;
  position: relative;
}
@media (min-width: 460px) {
  .l-content-main, .l-content-extra {
    padding: 30px;
    border-top-right-radius: 12px;
    -webkit-border-top-right-radius: 12px;
    -moz-border-radius-topright: 12px;
    border-bottom-left-radius: 12px;
    -webkit-border-bottom-left-radius: 12px;
    -moz-border-radius-bottomleft: 12px;
    border-bottom-right-radius: 12px;
    -webkit-border-bottom-right-radius: 12px;
    -moz-border-radius-bottomright: 12px;
  }
}
.l-content-main a, .l-content-extra a {
  color: #ff8f33;
}

.l-content-extra {
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
  margin: 20px 0;
}

.l-sleepy {
  position: absolute;
  background: url("/i/sleepy-six.png") no-repeat;
  width: 300px;
  height: 300px;
  top: 460px;
  left: -220px;
  z-index: -1;
}

.l-zorro {
  z-index: -1;
  position: absolute;
  background: url("/i/zorro-zeta.png") no-repeat;
  width: 300px;
  height: 300px;
  top: 26px;
  left: 620px;
}

.l-ollie {
  z-index: -1;
  position: absolute;
  background: url("/i/ollie-octothorpe.png") no-repeat;
  width: 300px;
  height: 300px;
  top: 16px;
  left: 620px;
}

.FooterNav {
  display: flex;
  justify-content: space-between;
  max-width: 40em;
  padding: 0 10px;
  margin: 20px auto;
  list-style: none;
}
.FooterNav a {
  color: #4d4d4d;
  text-decoration: none;
  font-weight: bold;
  text-shadow: #bbb 1px 1px 0;
}
.FooterNav a:hover {
  text-shadow: #fff 0 0 7px;
}

.editor {
  -moz-box-sizing: border-box;
  box-sizing: border-box;
  -ms-box-sizing: border-box;
  box-shadow: 3px 3px 6px #2f2f2f;
  -webkit-box-shadow: 3px 3px 6px #2f2f2f;
  -moz-box-shadow: 3px 3px 6px #2f2f2f;
  border: 0;
  width: 100%;
  height: 300px;
  padding: 10px;
  background: white;
  color: #222;
}

.button {
  border-radius: 12px;
  -webkit-border-radius: 12px;
  -moz-border-radius: 12px;
  box-shadow: 3px 3px 6px #2f2f2f;
  -webkit-box-shadow: 3px 3px 6px #2f2f2f;
  -moz-box-shadow: 3px 3px 6px #2f2f2f;
  border: 2px solid #ccc;
  background: #6f6f6f;
  color: #d9e021;
  line-height: 1.5em;
  font-weight: 700;
  font-size: 22px;
  padding: 4px;
  text-align: center;
  cursor: pointer;
}
.button:hover {
  background: #888;
}

.button-first-word {
  color: white;
  font-size: 38px;
  font-weight: bold;
}

.tabs {
  overflow: hidden;
  line-height: 1;
  width: 100%;
  margin: 0;
  padding: 0;
}
.tabs li {
  display: block;
  float: left;
  padding: 7px;
  font-size: 18px;
  cursor: pointer;
  background: #777;
  margin-right: 1px;
  border-top-left-radius: 3px;
  -webkit-border-top-left-radius: 3px;
  -moz-border-radius-topleft: 3px;
  border-top-right-radius: 3px;
  -webkit-border-top-right-radius: 3px;
  -moz-border-radius-topright: 3px;
}
.tabs .selected {
  background: #aaa;
  color: #333;
  box-shadow: 0px -2px 3px #333;
  -webkit-box-shadow: 0px -2px 3px #333;
  -moz-box-shadow: 0px -2px 3px #333;
}

.tab-content {
  background: white;
  color: black;
  height: 400px;
  margin: none;
  border: none;
  overflow: auto;
  border-top-right-radius: 3px;
  -webkit-border-top-right-radius: 3px;
  -moz-border-radius-topright: 3px;
  padding: 10px;
}

.tab-header {
  border-top-right-radius: 3px;
  -webkit-border-top-right-radius: 3px;
  -moz-border-radius-topright: 3px;
  background: #aaa;
  min-height: 5px;
  margin: -10px -10px 0 -10px;
}

.modal-overlay {
  position: absolute;
  left: 0px;
  top: 0px;
  bottom: 0;
  right: 0;
  text-align: center;
  z-index: 1000;
}
.modal-overlay:before {
  z-index: -1;
  content: "";
  position: absolute;
  left: 0px;
  top: 0px;
  bottom: 0;
  right: 0;
  background: #fff;
  opacity: 0.8;
}
.modal-overlay > div {
  border-radius: 7px;
  -webkit-border-radius: 7px;
  -moz-border-radius: 7px;
  width: 300px;
  margin: 150px auto;
  background: #e1e64e;
  color: #222;
  border: 10px solid #666;
  padding: 15px;
  text-align: center;
}

.donate {
  margin: 10px 0;
}
.donate img.fl {
  margin-right: 10px;
}

.credits {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  font-size: 13px;
  text-align: center;
  text-shadow: #fff 1px 1px 0;
  margin: 10px -1em 10px 0;
}

.credits > * {
  margin-right: 1em;
}

.credits > *:not(:first-child) {
  padding-left: 1em;
  border-left: 1px solid rgba(0, 0, 0, 0.12);
}

.about {
  font-size: 12px;
  text-shadow: #222 1px 1px 0;
}

.is-hidden {
  display: none;
}

.form-embed {
  padding: 1em;
  background: white;
}

input, select, textarea, button {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 100%;
}

.ConvertForm fieldset {
  margin: 1em 0 0;
  padding: 0;
  border: none;
}

.field {
  padding: 4px 0;
  margin: 0 1em 0 0;
}
.field input, .field select, .field textarea {
  border: 1px solid #dedede;
  border-collapse: collapse;
  padding: 3px;
  background: white;
  font-size: 13px;
  border-radius: 5px;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
}
.field select {
  border: 1px solid #ccc;
  padding: 1px;
}
.field input[type=radio], .field input[type=checkbox] {
  width: auto;
  border: none;
}
.field textarea {
  width: 18em;
  height: 6em;
  line-height: 1.2;
}
.field .tiny {
  width: 3em !important;
}
.field .small {
  width: 9em !important;
}
.field .medium {
  width: 18em !important;
}
.field .large {
  width: 36em !important;
}
.field textarea.large {
  width: 36em;
  height: 8em;
}
.field .control,
.field > input,
.field > select,
.field > button,
.field > textarea,
.field > label > input,
.field > label > textarea,
.field > label > select,
.field > label > button {
  display: block;
}
.field .label {
  display: block;
  line-height: 1.3;
}
.field .hint {
  display: block;
  font-size: 81.82%;
  line-height: 1.3;
}
.field.error input:first-child {
  border: 3px solid #f52;
  margin: -3px;
}

.placeholder {
  color: #888;
}

.DonationForm {
  display: flex;
  background: rgba(255, 255, 255, 0.15);
  padding: 10px;
  border-radius: 3px;
  align-items: flex-start;
}
.DonationForm input,
.DonationForm select {
  font-size: 1.2em;
  border: 2px solid rgba(0, 0, 0, 0.2);
  padding: 2px 1em;
  border-radius: 2px;
}
.DonationForm button {
  background: none;
  border: none;
}

.DonationForm > img:first-child {
  border-radius: 3px 0;
  margin: -10px 1em 0 -10px;
  flex: 0 0 auto;
}

.DonationForm-Controls {
  display: flex;
  align-items: center;
}

.DonationForm-Controls > * {
  margin-right: 1em;
}

.DonationForm-BelowButton {
  font-weight: bold;
  font-size: 0.8em;
}

.DonationForm-BelowButton span {
  font-weight: normal;
  color: rgba(255, 255, 255, 0.54);
}

.Logotype {
  font-family: "Verdana", "Arial", sans-serif;
  font-weight: 400;
  font-size: 24px;
  color: white;
  letter-spacing: -1px;
  margin: 0;
  display: block;
  border-radius: 12px 12px 0 0;
  background: #4d4d4d;
  padding: 0.5em;
  line-height: 1.2;
}
@media (min-width: 460px) {
  .Logotype {
    display: inline-block;
    background: none;
    font-size: 26px;
    padding: 0;
    line-height: 44px;
  }
}

.Logotype a {
  color: inherit;
}

.Logotype-Line {
  --paddingLeft: 0em;
  --paddingRight: 0.5em;
  display: inline;
}
@media (min-width: 460px) {
  .Logotype-Line {
    text-align: right;
    display: block;
  }
  .Logotype-Line::before {
    content: "";
    display: inline-block;
    width: var(--paddingLeft);
  }
  .Logotype-Line::after {
    content: "";
    display: inline-block;
    width: var(--paddingRight);
  }
}

@media (min-width: 460px) {
  .Logotype-Line:first-child {
    color: black;
  }
}

.Logotype-Line:last-child {
  border-radius: 12px 12px 0 0;
  background: #4d4d4d;
  color: white;
  padding-right: var(--paddingRight);
}
@media (min-width: 460px) {
  .Logotype-Line:last-child {
    margin-right: -0.5em;
  }
}

.Logotype-Big {
  font-size: 1.2em;
  font-weight: 700;
}
@media (min-width: 460px) {
  .Logotype-Big {
    font-size: 1.8em;
  }
}

.Logotype-Line:last-child .Logotype-Big {
  font-weight: 400;
}

.Logotype-Bright {
  color: #d9e021;
  font-weight: 700;
}

/*# sourceMappingURL=out.site.css.map */