body {
  font-family: Roboto, 'Helvetica Neue', Helvetica, Arial, sans-serif;
  text-rendering: optimizeLegibility;
  font-weight: 300;
  font-size: 18px;
}
.CodeMirror {
  height: inherit;
}
header {
  color: #333;
  border-bottom: 1pt solid #eee;
}
nav.navbar {
  border: 0;
  font-size: 14px;
  font-weight: 400;
  min-height: 42px;
}
.navbar-nav > li {
  margin: 0;
}
.navbar-nav > li > a,
.navbar-nav > li > a:hover {
  padding: 11px 12px;
  background: none;
}
.nav > li > a:focus,
.nav .open > a:focus {
  background: rgba(255, 255, 255, 0.07);
}
nav ul {
  font-size: 14px;
  font-weight: 400;
  list-style-type: none;
  margin: 0;
  padding: 0;
  line-height: 40px;
  float: left;
}
nav ul.secondary {
  float: right;
}
nav ul li {
  display: inline-block;
  margin: 0 0 0 20px;
  padding: 0;
}
nav ul li:first-child {
  margin: 0;
}
ul.dropdown-menu li {
  display: list-item;
  margin: 0;
}
.nav .open > .dropdown-toggle,
.nav .open > .dropdown-toggle:active,
.nav .open > .dropdown-toggle:hover,
.nav .open > .dropdown-toggle:active:hover {
  background: none;
  outline: none;
}
.navbar-nav > li > .dropdown-menu {
  border-radius: 4px;
}
.logo {
  font-family: 'fira-sans', sans-serif;
  font-weight: bold;
}
nav .logo {
  position: relative;
  top: 4px;
  font-size: 22px;
  margin-right: 10px;
}
@media screen and (max-width: 767px) {
  .navbar-nav .open .dropdown-menu {
    margin-top: 1px;
    background: white;
    margin-left: -100px;
    box-shadow: rgba(0, 0, 0, 0.172549) 0px 6px 12px 0px;
    position: absolute;
  }
  .dont_float_767 {
    float: none;
  }
  nav .logo {
    margin-left: 15px;
  }
}
nav.navbar {
  margin-bottom: 0;
}
nav a {
  color: #333;
}
nav a:hover {
  text-decoration: none;
  cursor: pointer;
  color: #777;
}
.signin {
  border: 1px solid #888;
  padding: 5px 10px;
  border-radius: 1em 1em;
}
.page-wrapper {
  padding: 20px 120px;
  min-width: 450px;
  max-width: 950px;
  margin: auto;
}
hr.wide-margin {
  margin: 40px 0;
}
kbd.prompt:before {
  content: "> ";
  color: orange;
}
section {
  padding: 51px 0 50px 0;
}
footer {
  text-align: center;
  line-height: 2em;
  padding: 40px 0;
  font-size: 14px;
}
#copy {
  color: #d8d8d8;
}
#copy a {
  color: #d8d8d8;
}
#copy a:hover {
  color: #d8d8d8;
}
.runkit-static-example {
  margin: 30px 0;
  font-family: source-code-pro, monospace;
  font-size: 15px;
  border: 1px solid #e5e9ef;
  background-color: #fcfcfc;
}