header h1 { text-align: center; } header .date { text-align: center; } nav ul { list-style-type: none; } .container > h1 a, .container > h2 a, .container > h3 a, .container > h4 a, .container > h5 a, .container > h6 a { text-decoration: none; color: #111; } p { -moz-font-feature-settings: "onum"; -ms-font-feature-settings: "onum"; -webkit-font-feature-settings: "onum"; font-feature-settings: "onum"; } pre { margin-left: 1em; margin-right: 1em; padding: 1em; background-color: #EEE; } pre.math { margin: 0; padding: 0; background-color: transparent; border: 0; } pre[class="grammar"]:before { content: "Syntax\A"; font-family: Heuristica; font-size:110%; font-weight:bold; } code > span { font-weight: normal !important; } code { padding-left: 0.1em; padding-right: 0.1em; } /* examples */ ol[type="1"] { list-style-type: none; margin-left: 1em; margin-right: 1em; padding: 0; } ol[type="1"] > li { margin-top: 1em; padding: 1em; background-color: #E5ECF9; } ol[type="1"] > li:before { content: "Example"; font-weight:bold; } #popoutTOC { position: fixed; top: 0; left: 0; margin: 0; padding: 0; } #popoutTOC .head { } #popoutTOC .links { display: none; }