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 span {
    display: inline-block;
    line-height: 50px;
    font-size: large;
    color: white;
    padding-left: 15px;
    padding-right: 5px;
}

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);
}

#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-option {
  display: inline-block;
  margin-right: 20px;
}