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); } /* necessary for links to scroll to the right position */ dt a:before { margin-top: -50px; height: 50px; content: ' '; display: block; visibility: hidden; } #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; } object { margin-left: auto; margin-right: auto; display: block; }