@charset "utf-8"; html { height: 100%; } body { height: 100%; overflow-y: scroll; padding: 0; /* font-family: "Warnock Pro", "Goudy Old Style", "Palatino", "Book Antiqua", Georgia, serif; */ } pre, code, tt { font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', Courier, monospace; color: black; } p > code, p > tt { background-color: rgba(30,30,30,.05); border-radius: 3px; padding: .2em .4em; } div.top.nav { z-index: 1; } p { width: 32em; } a.page { position: fixed; width: 50%; top: 2em; bottom: 2em; text-align: right; text-decoration: none; display: block; padding: 0 1.5em; } div.header { top: 0; position: fixed; display: block; height: 2em; width: 100%; background-color: white; } div.footer { bottom: 0; position: fixed; display: block; width: 100%; height: 2em; background-color: white; } div.contentswrapper { padding-top: 2em; /* height of header */ padding-bottom: 2em; /* height of footer */ } div.lefttocwrapper { min-height: 100%; } div.rightcolumn { padding-left: 4em; padding-right: 4em; } div.contents { padding-top: 1.5em; padding-bottom: 4em; } div.toccolumn { padding-top: 1.5em; padding-bottom: 4em; background-color: #f4f4f4; overflow-y: auto; } div.leftcolumn { display: block; } div.minh-100 { min-height: 100%; } a.page.next { right: 0; } a.page span.space { display: block; height: 45%; } a.page span.arrow { font-size: 2em; } span.flip { display: block; -moz-transform: rotate(180deg); -o-transform: rotate(180deg); -webkit-transform: rotate(180deg); -ms-transform: rotate(180deg); transform: rotate(180deg); zoom: 1; } a.fork { display: inline; position: absolute; top: 0; right: 0; border: 0; } a.tochead { width: 100%; font-size: 1.5em; text-align: center; text-decoration: none; display: block; padding: 1.5em 0em 0em; } .collap a.tochead:hover { color: #06c; } a.header-link:hover { color: #06c; } h1:hover span.header-link-content:before, h2:hover span.header-link-content:before, h3:hover span.header-link-content:before, h4:hover span.header-link-content:before, h5:hover span.header-link-content:before { content: '§'; width: 2em; font-size: 0.75em; vertical-align: top; } ul.language-bar { display: inline; float: right; list-style: none; margin: 0.0em 0.5em 0.0em 0.5em; } ul.language-bar li { display: inline; margin-left: 1em; } div.highlight-outer { display: block; position: absolute; } div.highlight-menu { display: none; width: 2.5em; height: 2.5em; border-top-left-radius: 0.2em; border-top-right-radius: 0.2em; border-bottom-left-radius: 0.2em; border-bottom-right-radius: 0.2em; border: solid 1px rgba(80, 80, 80, 0.9); background-color: rgba(50, 50, 50, 0.9); } div.highlight-menu ul { margin: 0; padding: 0; list-style: none; } div.highlight-menu ul li { margin: 0; padding: 0; } div.highlight-menu button { font: inherit; color: #FFFFFF; width: 2.5em; height: 2.5em; background-color: transparent; padding: 0; border: 0; } div.highlight-menu button img { font: inherit; width: 2em; height: 2em; margin: 0.25em; padding: 0; cursor: pointer; }