html {
  height: 100%;
  font-family: system-ui, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  line-height: 1.3;
  font-size: 16px;
  color: #586e75;
}

a {
  color: #839496;
  text-decoration: underline;
}




pre {
  margin: 8px 8px 8px 0;
  color: #000082;
  /*border-left: 1px solid blue;*/
}
.exec
{
  color: #f407dc;
  /*border-left: 1px solid rgb(221, 0, 255)*/
}

code {
  color: #000082;
}

h1 {
  margin: 32px 0 0 0;
  font-weight: 600;
}

h2 {
  margin: 16px 0 0 0;
  font-weight: 400;
}

h3 {
  margin: 16px 0 0 0;
  font-weight: 350;
}

* {
  min-width: 0;
  /* Otherwise <pre> blocks take up more space then they should. Needed for flexbox. */
  box-sizing: border-box;
}

body {
  height: 100%;
  width: 100%;
  margin: 20px;
  /*removes default style*/
  box-sizing: border-box;
  position: relative;
}

#header {
  max-width: 1280px;
  position: relative;
  margin-left: auto;
  margin-right: auto;
  margin-top: 16px;
}