html {
  font-family: "Noto Sans", arial, helvetica, sans-serif;
}
.sidebar-about h1 {
  font-size: 3rem;
}
.sidebar-nav-hash:before {
  content: "#";
  color: #fff;
  margin: 0 8px 0 0;
}
.lead {
  line-height:1.7rem;
  font-size: 1.1rem;
  margin-bottom: 30px;
}
.rear {
  font-weight: normal;
  color: #666;
  font-size: 0.9rem;
  line-height: 1.4rem;
  margin-top: 10px;
  margin-bottom: 20px;
  position: relative;
  display: inline-block;
}
.rear:before {
  content: "“";
  text-align: right;
  left: -1.4rem;
  top: 0.4rem;
}
.rear:after {
  content: "”";
  right: -1.4rem;
  bottom: -0.4rem;
}
.rear:before, .rear:after {
  color: #444;
  width: 1rem;
  display: inline-block;
  position: absolute;
  font-size: 2rem;
}
h1, h2, h3, h4, h5, h6 {
}
div.example {
  margin-bottom: 15px;
}
.clearfix:after, .example:after {
  content: " ";
  visibility: hidden;
  display: block;
  height: 0;
  clear: both;
}
div.example > div:first-child {
  float: left;
  clear: left;
  width: 49%;
}
div.example > div:last-child {
  display: inline-block;
  box-sizing: border-box;
  float: right;
  clear: right;
  width: 49%;
}
div.example > div > textarea {
  padding: 14px;
  border: none;
  min-height: 78px;
  border: 1px solid #eee;
}
div.example > div > textarea:hover {
  outline: none;
  border: 1px solid coral;
  transition:         border-color 0.2s linear;
  -webkit-transition: border-color 0.2s linear;
}
div.example > div > textarea:focus {
  outline: none;
  border: 1px solid #444;
  transition:         border-color 0.2s linear;
  -webkit-transition: border-color 0.2s linear;
}
div.example > div > pre {
  padding: 15px;
  width: 100%;
  margin: 0;
  min-height: 78px;
}
h3 ~ div > div:before {
  margin: 4px 0 4px 0;
  font-size: 16px;
  display: none;
  color: #888;
  font-weight: normal;
}
h3 ~ div > div:first-child:before {
  content: "μson";
}
h3 ~ div > div:last-child:before {
  content: "Output";
}

h3 + div > div:first-child:before,
h3 + p + div > div:first-child:before,
h3 + p + p + div > div:first-child:before {
  display: block;
}
h3 + div > div:last-child:before,
h3 + p + div > div:last-child:before,
h3 + p + p + div > div:last-child:before {
  display: block;
}

div.example div pre, div div textarea {
  font-family: Inconsolata, Consolas, Monaco, 'Andale Mono', monospace;
  font-size: 16px;
  color: #333;
  background: #eee;
  width: 100%;
  box-sizing: border-box;
}
aml { display: none; }
acronym {
  border-bottom: 1px dotted #CCC;
}
footer {
  font-size: 0.8rem;
  color: #888;
}

a#yaml, a#json { cursor: pointer; font-size: 70%; padding-top: 5px; }
.objectmode-option { float: right; font-size: 70%; padding-top: 5px; }