body {
  margin: 0 auto;
  background-color: #2b003f;
  background-image:url(assets/images/codejam123emboss.png);
  /* font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; */
  font-family: Catamaran, sans-serif;
  color: #eee;
  line-height: 1;
  max-width: 960px;
  min-width: 338px;
  padding: 30px;
}

strong {
    color: #cc00ff;
}

.lang-link {
  position:absolute;
  top:10px;
  right:10px;
}

div.large-top-section {
  display:flex;
  flex-direction:row;
  justify-content:flex-start;
  align-items:center;
}

.large-top-section img {
 float: left; 
 max-width: 160px;
}

.large-top-section h1 {
  border:none;
  font-size: 44px;
  margin-top:10px;
}

h1,
h2,
h3,
h4,
h5 {
  color: #c3da8f;
  /* font-family: "Special Elite"; */
  font-family: "Open Sans", sans-serif;
  font-weight: 700; 
}
h1,
h2,
h3,
h4 {
  font-weight: 400;
}
h1,
h2,
h3,
h4,
h5,
p {
  margin-bottom: 24px;
  padding: 0;
}
h1 {
  font-size: 34px;
  border-bottom: 1px solid #999;
  display: block;
}
h2 {
  font-size: 24px;
  margin: 24px 0 6px;
}
h3 {
  font-size: 20px;
}
h4 {
  font-size: 17px;
}
h5 {
  font-size: 14px;
}
a {
  color: #ffa328;
  margin: 0;
  padding: 0;
  text-decoration: none;
  vertical-align: baseline;
}
a:hover {
  text-decoration: underline;
}
a:visited {
  color: #ffa328;
}
ul,
ol {
  padding: 0;
  margin: 0;
}
li {
  line-height: 24px;
}
li ul,
li ul {
  margin-left: 24px;
}
p,
ul,
ol {
  font-size: 17px;
  line-height: 24px;
  max-width: 900px;
}
pre {
  padding: 0px 24px;
  max-width: 800px;
  white-space: pre;  
}
code {
  font-family: Consolas, Monaco, Andale Mono, monospace;
  line-height: 1.5;
  font-size: 19px;
}
aside {
  display: block;
  float: right;
  width: 390px;
}
blockquote {
  color: #EEE;
  background-color: #0000003d;
  padding: 1px 20px 1px 20px;
  border-left: 2px solid #e6e6e6;
  margin-left: 20px;
  max-width: 900px;
}
blockquote cite {
  font-size: 14px;
  line-height: 20px;
  color: #bfbfbf;
}
blockquote cite:before {
  content: "\2014 \00A0";
}

blockquote p {
  color: #eee;
  /* max-width: 700px; */
}
hr {
  width: 540px;
  text-align: left;
  margin: 0 auto 0 0;
  color: #999;
}


button,
input,
select,
textarea {
  font-size: 100%;
  margin: 0;
  vertical-align: baseline;
  *vertical-align: middle;
}
button,
input {
  line-height: normal;
  *overflow: visible;
}
button::-moz-focus-inner,
input::-moz-focus-inner {
  border: 0;
  padding: 0;
}
button,
input[type="button"],
input[type="reset"],
input[type="submit"] {
  cursor: pointer;
  -webkit-appearance: button;
}
input[type="checkbox"],
input[type="radio"] {
  cursor: pointer;
}
/* override default chrome & firefox settings */
input:not([type="image"]),
textarea {
  -webkit-box-sizing: content-box;
  -moz-box-sizing: content-box;
  box-sizing: content-box;
}

input[type="search"] {
  -webkit-appearance: textfield;
  -webkit-box-sizing: content-box;
  -moz-box-sizing: content-box;
  box-sizing: content-box;
}
input[type="search"]::-webkit-search-decoration {
  -webkit-appearance: none;
}
label,
input,
select,
textarea {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 13px;
  font-weight: normal;
  line-height: normal;
  margin-bottom: 18px;
}
input[type="checkbox"],
input[type="radio"] {
  cursor: pointer;
  margin-bottom: 0;
}
input[type="text"],
input[type="password"],
textarea,
select {
  display: inline-block;
  width: 210px;
  padding: 4px;
  font-size: 13px;
  font-weight: normal;
  line-height: 18px;
  height: 18px;
  color: #808080;
  border: 1px solid #ccc;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}
select,
input[type="file"] {
  height: 27px;
  line-height: 27px;
}
textarea {
  height: auto;
}

/* grey out placeholders */
:-moz-placeholder {
  color: #bfbfbf;
}
::-webkit-input-placeholder {
  color: #bfbfbf;
}

input[type="text"],
input[type="password"],
select,
textarea {
  -webkit-transition: border linear 0.2s, box-shadow linear 0.2s;
  -moz-transition: border linear 0.2s, box-shadow linear 0.2s;
  transition: border linear 0.2s, box-shadow linear 0.2s;
  -webkit-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.1);
  -moz-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.1);
  box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.1);
}
input[type="text"]:focus,
input[type="password"]:focus,
textarea:focus {
  outline: none;
  border-color: rgba(82, 168, 236, 0.8);
  -webkit-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.1),
    0 0 8px rgba(82, 168, 236, 0.6);
  -moz-box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.1),
    0 0 8px rgba(82, 168, 236, 0.6);
  box-shadow: inset 0 1px 3px rgba(0, 0, 0, 0.1),
    0 0 8px rgba(82, 168, 236, 0.6);
}

/* buttons */
button {
  display: inline-block;
  padding: 4px 14px;
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 13px;
  line-height: 18px;
  -webkit-border-radius: 4px;
  -moz-border-radius: 4px;
  border-radius: 4px;
  -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2),
    0 1px 2px rgba(0, 0, 0, 0.05);
  -moz-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2),
    0 1px 2px rgba(0, 0, 0, 0.05);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2),
    0 1px 2px rgba(0, 0, 0, 0.05);
  background-color: #0064cd;
  background-repeat: repeat-x;
  background-image: -khtml-gradient(
    linear,
    left top,
    left bottom,
    from(#049cdb),
    to(#0064cd)
  );
  background-image: -moz-linear-gradient(top, #049cdb, #0064cd);
  background-image: -ms-linear-gradient(top, #049cdb, #0064cd);
  background-image: -webkit-gradient(
    linear,
    left top,
    left bottom,
    color-stop(0%, #049cdb),
    color-stop(100%, #0064cd)
  );
  background-image: -webkit-linear-gradient(top, #049cdb, #0064cd);
  background-image: -o-linear-gradient(top, #049cdb, #0064cd);
  background-image: linear-gradient(top, #049cdb, #0064cd);
  color: #fff;
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
  border: 1px solid #004b9a;
  border-bottom-color: #003f81;
  -webkit-transition: 0.1s linear all;
  -moz-transition: 0.1s linear all;
  transition: 0.1s linear all;
  border-color: #0064cd #0064cd #003f81;
  border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
}
button:hover {
  color: #fff;
  background-position: 0 -15px;
  text-decoration: none;
}
button:active {
  -webkit-box-shadow: inset 0 3px 7px rgba(0, 0, 0, 0.15),
    0 1px 2px rgba(0, 0, 0, 0.05);
  -moz-box-shadow: inset 0 3px 7px rgba(0, 0, 0, 0.15),
    0 1px 2px rgba(0, 0, 0, 0.05);
  box-shadow: inset 0 3px 7px rgba(0, 0, 0, 0.15), 0 1px 2px rgba(0, 0, 0, 0.05);
}
button::-moz-focus-inner {
  padding: 0;
  border: 0;
}

body {
  margin: 0 auto;
  /* max-width: 36em; */
  padding-left: 50px;
  padding-right: 50px;
  padding-top: 50px;
  padding-bottom: 50px;
  hyphens: auto;
  overflow-wrap: break-word;
  text-rendering: optimizeLegibility;
  font-kerning: normal;
}

@media (max-width: 800px) {
  #ToC {
    display:none;
  }
}

@media (max-width: 700px) {
  .width-large {
    display:none;
  }
}

@media (min-width: 700px) {
  .width-small {
    display:none;
  }
}

@media (max-width: 600px) {
  body {
    font-size: 0.9em;
    padding: 1em;
  }
  h1 {
    font-size: 1.8em;
  }
}
/* @media print {
      body {
        background-color: transparent;
        color: black;
        font-size: 12pt;
      }
      p, h2, h3 {
        orphans: 3;
        widows: 3;
      }
      h2, h3, h4 {
        page-break-after: avoid;
      }
    } */
p {
  margin: 1em 0;
}
/* a {
      color: #1a1a1a;
    }
    a:visited {
      color: #1a1a1a;
    } */
img {
  max-width: 100%;
}
h1,
h2,
h3,
h4,
h5,
h6 {
  margin-top: 1.4em;
}
h5,
h6 {
  font-size: 1em;
  font-style: italic;
}
h6 {
  font-weight: normal;
}
ol,
ul {
  padding-left: 1.7em;
  margin-top: 1em;
}
li > ol,
li > ul {
  margin-top: 0;
}
code {
  /* font-family: monospace; */
  font-size: 85%;
  margin: 0;  
}
pre {
  margin: 1em 0;
  overflow: auto;
  padding: 10px;
  background-color: #0000003d;
}
pre code {
  padding: 0;
  overflow: visible;
  overflow-wrap: normal;  
}
p code, li code {
  background-color: #4f4f4f;
  border: 4px solid #4f4f4f;
  border-bottom-width: 2px;
  border-top-width: 2px;
  border-radius: 3px;
  color: #d7d7d7;
}
.sourceCode {
  background-color: transparent;
  overflow: visible;
}
hr {
  /* background-color: #1a1a1a; */
  border: none;
  height: 1px;
  margin: 1em 0;
}
table {
  margin: 1em 0;
  border-collapse: collapse;
  width: 100%;
  overflow: hidden;
  display: block;
  font-variant-numeric: lining-nums tabular-nums;
}
table caption {
  margin-bottom: 0.75em;
}
tbody {
  margin-top: 0.5em;
  /* border-top: 1px solid #1a1a1a; */
  /* border-bottom: 1px solid #1a1a1a; */
}
th {
  /* border-top: 1px solid #1a1a1a; */
  padding: 10px;
  border-bottom: 1px solid white;
  text-align: left;
  vertical-align: top;
}
td {
  padding: 10px;
  vertical-align: top;
  text-align: left;
  border-bottom: 1px solid gray;
}
header {
  margin-bottom: 4em;
  text-align: left;
}
#TOC li {
  list-style: none;
}
#TOC ul {
  padding-left: 1.3em;
}
#TOC > ul {
  padding-left: 0;
}
#TOC a:not(:hover) {
  text-decoration: none;
}
code {
  white-space: pre;
}
span.smallcaps {
  font-variant: small-caps;
}
span.underline {
  text-decoration: underline;
}
div.column {
  display: inline-block;
  vertical-align: top;
  width: 50%;
}
div.hanging-indent {
  margin-left: 1.5em;
  text-indent: -1.5em;
}
ul.task-list {
  list-style: none;
}

#ToC {
  background-color: #ffffff26;
  border-radius: 4px;
  float: right;
  margin: 30px;
  padding: 15px;
}
#ToC ul {
  padding-left: 0;
  margin: 0px;
}
#ToC li {
  list-style-type: none;
}
#ToC a, #ToC a:visited {
  color: #ddd;
  font-size: 12px;
}
#ToC a:hover {
  text-decoration: none;
  color: white;
}

#ToC .toc-h1 {
  border-bottom: 1px solid #999;
  display: block;
  margin-top: 1px;
}
#ToC .toc-h2 {
  margin-left:10px;
}
#ToC .toc-h3 {
  margin-left:20px;
}