h1.title { margin-top: .5em; margin-bottom: .5em; padding-bottom: .5em; } header { position: sticky; display: flex; flex-wrap: wrap; background: #111; margin: 0; padding: 0 .5em; top: 0; z-index: 1; font-size: large; } header > a { display: block; flex-grow: 0; padding: .8em .2em; } header a.active { background: #877 !important; color: black !important; } header > span { display: block; flex-grow: 0; font-size: large; color: white; padding: .8em .2em; padding-left: .6em; } header > span.space { flex-grow: 1; } header > span > a { display: block; } header span ul { display: none; position: absolute; top: 100%; list-style: none; background: #111; margin: 0; padding-bottom: .5em; } header span ul:after { content: ""; clear: both; display: block; } header span:hover > ul { display: block; } header span ul a { padding: 0 .8em; line-height: 1.8em; } 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: 0; 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: -2em; height: 2em; content: ' '; display: block; visibility: hidden; } #testingground { margin-left: -2em; margin-right: -2em; } #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-select-wrapper, #global-links, #searchInputDiv, #searchInputDiv + div /* this is the group by section */ { display: none; }