1  h1.title {
  2    margin-top: .5em;
  3    margin-bottom: .5em;
  4    padding-bottom: .5em;
  5  }
  6  
  7  header {
  8      position: sticky;
  9      display: flex;
 10      flex-wrap: wrap;
 11      background: #111;
 12      margin: 0;
 13      padding: 0 .5em;
 14      top: 0;
 15      z-index: 1;
 16      font-size: large;
 17  }
 18  
 19  header > a {
 20      display: block;
 21      flex-grow: 0;
 22      padding: .8em .2em;
 23  }
 24  
 25  header a.active {
 26      background: #877 !important;
 27      color: black !important;
 28  }
 29  
 30  header > span {
 31      display: block;
 32      flex-grow: 0;
 33      font-size: large;
 34      color: white;
 35      padding: .8em .2em;
 36      padding-left: .6em;
 37  }
 38  
 39  header > span.space {
 40    flex-grow: 1;
 41  }
 42  
 43  header > span > a {
 44      display: block;
 45  }
 46  
 47  header span ul {
 48      display: none;
 49      position: absolute;
 50      top: 100%;
 51      list-style: none;
 52      background: #111;
 53      margin: 0;
 54      padding-bottom: .5em;
 55  }
 56  
 57  header span ul:after {
 58      content: ""; clear: both; display: block;
 59  }
 60  
 61  header span:hover > ul {
 62      display: block;
 63  }
 64  
 65  header span ul a {
 66      padding: 0 .8em;
 67      line-height: 1.8em;
 68  }
 69  
 70  header span ul.monospace a {
 71      font-size: smaller;
 72      font-family: "Source Code Pro", Menlo, "Courier New", Courier, monospace;
 73  }
 74  
 75  header a:link,
 76  header a:visited {
 77      background: inherit;
 78      color: #aaa;
 79  }
 80  
 81  header a:hover {
 82      background: inherit;
 83      color: white;
 84      text-decoration: inherit;
 85  }
 86  
 87  header a:active {
 88      background: #222;
 89      color: white;
 90      text-decoration: inherit;
 91  }
 92  
 93  a.pagetitle:link,
 94  a.pagetitle:hover,
 95  a.pagetitle:active,
 96  a.pagetitle:visited {
 97      background: inherit;
 98      color: white;
 99      text-decoration: inherit;
100  }
101  
102  body {
103      margin: 0;
104      padding: 0;
105  }
106  
107  html {
108      background-color: rgba(252, 248, 244, 0.75);
109  }
110  
111  /* necessary for links to scroll to the right position */
112  dt a:before {
113      margin-top: -2em;
114      height: 2em;
115      content: ' ';
116      display: block;
117      visibility: hidden;
118  }
119  
120  #testingground {
121      margin-left: -2em;
122      margin-right: -2em;
123  }
124  
125  #testingground textarea {
126    width: 100%;
127    height: 100%;
128  }
129  #testingground textarea,
130  #testingground pre {
131    font-family: "Source Code Pro", Menlo, "Courier New", Courier, monospace;
132    margin: 0;
133  }
134  #testingground pre {
135    font-size: small;
136  }
137  #testingground #style-options {
138      margin-top: 10px;
139      width: 100%;
140      text-align: center;
141  }
142  #testingground .style-option {
143    display: inline-block;
144    margin-right: 20px;
145  }
146  
147  object {
148    margin-left: auto;
149    margin-right: auto;
150    display: block;
151  }
152  
153  .quickstart-example {
154    border-collapse: collapse;
155    border: 1px solid #e8e8e8;
156    width: 100%;
157  }
158  
159  .quickstart-example th {
160    background: #e8e8e8;
161  }
162  
163  .quickstart-example td {
164    width: 50%;
165    vertical-align: top;
166    padding: 0;
167    background: whitesmoke;
168  }
169  
170  .quickstart-example td:first-child {
171    border-right: 1px solid #e8e8e8;
172  }
173  
174  .quickstart-example pre {
175    border: 0;
176    margin: 0;
177    display: block;
178    border-radius: 0;
179    -moz-border-radius: 0;
180    -webkit-border-radius: 0;
181  }
182  
183  /* hide autogenerated stuff we don't need */
184  .theme-select-wrapper, #global-links, #searchInputDiv,
185  #searchInputDiv + div /* this is the group by section */
186  {
187    display: none;
188  }