header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    height: 50px;
    background: #111;
    margin: 0;
    padding: 0;
    z-index: 1;
}

header a {
    display: inline-block;
    line-height: 50px;
    font-size: large;
    padding-left: 5px;
    padding-right: 5px;
}

header a.active {
    background: #877 !important;
    color: black !important;
}

header span {
    display: inline-block;
    line-height: 50px;
    font-size: large;
    color: white;
    padding-left: 15px;
    padding-right: 5px;
}

header span a {
    display: block;
}

header span ul {
    display: none;
    position: absolute;
    top: 100%;
    list-style: none;
    background: #111;
    margin: 0;
}

header span ul:after {
    content: ""; clear: both; display: block;
}

header span:hover > ul {
    display: block;
}

header span ul a {
    padding: 0 10px;
    line-height: 40px;
}

header span ul.monospace a {
    font-size: smaller;
    font-family: "Source Code Pro", Menlo, "Courier New", Courier, monospace;
}

header a:link,
header a:visited {
    background: inherit;
    color: #aaa;
}

header a:hover {
    background: inherit;
    color: white;
    text-decoration: inherit;
}

header a:active {
    background: #222;
    color: white;
    text-decoration: inherit;
}

a.pagetitle:link,
a.pagetitle:hover,
a.pagetitle:active,
a.pagetitle:visited {
    background: inherit;
    color: white;
    text-decoration: inherit;
}

body {
    margin-left: 0;
    margin-right: 0;
    margin-top: 55px;
    margin-bottom: 5px;
    padding: 0;
}

html {
    background-color: rgba(252, 248, 244, 0.75);
}

/* necessary for links to scroll to the right position */
dt a:before {
    margin-top: -50px;
    height: 50px;
    content: ' ';
    display: block;
    visibility: hidden;
}

#testingground {
    margin-left: -50px;
    margin-right: -50px;
}

#testingground textarea {
  width: 100%;
  height: 100%;
}
#testingground textarea,
#testingground pre {
  font-family: "Source Code Pro", Menlo, "Courier New", Courier, monospace;
  margin: 0;
}
#testingground pre {
  font-size: small;
}
#testingground #style-options {
    margin-top: 10px;
    width: 100%;
    text-align: center;
}
#testingground .style-option {
  display: inline-block;
  margin-right: 20px;
}

object {
  margin-left: auto;
  margin-right: auto;
  display: block;
}

.quickstart-example {
  border-collapse: collapse;
  border: 1px solid #e8e8e8;
  width: 100%;
}

.quickstart-example th {
  background: #e8e8e8;
}

.quickstart-example td {
  width: 50%;
  vertical-align: top;
  padding: 0;
  background: whitesmoke;
}

.quickstart-example td:first-child {
  border-right: 1px solid #e8e8e8;
}

.quickstart-example pre {
  border: 0;
  margin: 0;
  display: block;
  border-radius: 0;
  -moz-border-radius: 0;
  -webkit-border-radius: 0;
}

/* hide autogenerated stuff we don't need */
.theme-switch-wrapper, #global-links, #searchInputDiv {
  display: none;
}