@import url('https://cdnjs.cloudflare.com/ajax/libs/normalize/5.0.0/normalize.min.css'); @import url('https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css'); @import url('https://fonts.googleapis.com/css?family=Droid+Sans+Mono|Droid+Sans:400,700|Droid+Serif:400,700'); body { line-height: 1.4; max-width: 780px; padding: 0px 16px; margin: 0 auto; color: #444444; background-color: #fefefe; font-family: "Droid Serif", sans-serif; font-size: 12pt; } header, main, footer { width: 100%; } header.pageheader { display: block; } /* Headings */ main > header h1 { font-size: 36pt; font-weight: bold; font-family: "Droid Serif", serif; } h1,h2,h3,h4,h5,h6 { margin: 4px 0px; } h1,h2,h3 { border-bottom: 2px solid rgb(200,200,200); } footer { border-top: 2px solid rgb(200,200,200); } a:link { color: #2c66cd; } a:hover { color: #4e99df; } a:visited { color: #a05184; } a:visited:hover { color: #c68fcc; } /* Page header */ header.pageheader div.title { display: block; text-align: center; padding-top: 24px; padding-bottom: 0px; } header.pageheader div.title { font-weight: bold; font-family: "Droid Sans", sans-serif; font-size: 64pt; line-height: 1; margin-left: -32px; } header.pageheader div.title img { vertical-align: middle; } header.pageheader div.title a, header.pageheader div.title a:hover, header.pageheader small { color: #D23E9C; user-select: none; text-decoration: none; } header.pageheader small { font-family: "Droid Sans", sans-serif; font-size: 12pt; font-weight: 400; font-style: italic; text-transform: lowercase; padding-bottom: 16px; display: block; border: 0; margin-top: -24px; padding-left: 120px; white-space: nowrap; overflow: hidden; } header.pageheader nav { margin-bottom: -28px; margin-left: 48px; margin-right: 48px; user-select: none; } header.pageheader nav ul { text-align: justify; width: 100%; margin: 0px; padding: 0px; } header.pageheader nav ul:after { content: ''; width: 100%; display: inline-block; } header.pageheader nav ul, header.pageheader nav li { display: inline-block; } footer { margin-top: 16px; padding: 8px 0px; text-align: center; } blockquote { background: rgba(128,128,128,.1); margin: 0 auto; padding: 4px; border-top: 2px solid rgb(79,100,128); border-bottom: 2px solid rgb(79,100,128); } blockquote p { margin: 0; } pre { max-width: 100%; word-wrap: break-word; white-space: pre-line; background: rgba(54,54,54,1); color: #ededed; padding: 8px; border: 4px solid #d23e9c; border-width: 2px 0px; } main > pre, pre > code { font-family: "Droid Sans Mono", monospace; font-size: 11pt; } form.search input[type='search'] { width: 100%; font-size: 16pt; } /* Responsiveness */ @media only screen and (max-width: 800px) { header.pageheader small { display: none; } } @media only screen and (max-width: 460px) { body { font-size: 11pt; padding: 0px 8px; } header.pageheader { padding-top: 16px; } header.pageheader div.title { font-size: 20vw; font-size: 48pt; } h2 { font-size: 16pt; } h1,h2,h3,h4,h5,h6 { margin-bottom: 4px; } header.pageheader nav ul { text-align: center; margin-left: 0; margin-right: 0; } } @media only screen and (max-width: 610px) { header.pageheader div.title { padding-left: 16px; font-size: 18vw; font-size: 32pt; } header.pageheader div.title img { width:auto; height:64px; } } @media only screen and (max-width: 400px) { header.pageheader div.title img { display: none; } } nav.toc:not(:empty):before { font-family: "FontAwesome", "Droid Sans", sans-serif; content: "\f02d\00a0Table of Contents"; color: #999999; width: 100%; border-bottom: 1px solid #898989; display: block; font-size: 11pt; } nav.toc { position: static; padding-top: 8px; } nav.toc ul { margin: 0px; padding: 0px; list-style: none; margin-left: 0; padding-left: 24px; } nav.toc>ul { padding-left: 0px; } nav.toc ul li:before { content: unset; } nav.toc ul a { text-decoration: none; } nav.toc ul a:visited:hover { color: #9caed1; } nav.toc ul a:visited { color: #5e98ef; } @media only screen and (min-width: 1520px) { nav.toc { position: fixed; top: 16px; padding-bottom: 16px; margin-left: -360px; width: 340px; height: calc(100% - 48px); max-height: calc(100% - 48px); overflow: hidden; font-size: 10pt; } nav.toc:hover { overflow-y: auto; } } @media only screen and (max-width: 1520px) { nav.toc { width: 64px; height: 64px; margin: 0px; padding: 0px; top: 16px; right: 16px; position: fixed; text-indent: 100%; user-select: none; white-space: nowrap; overflow: hidden; background: #222222; border: 2px solid #e6e5f9; } nav.toc:not(:empty):before { text-indent: 0%; content: "\f02d" !important; font-family: FontAwesome; font-size: 32pt; text-rendering: auto; position: absolute; font-weight: bold; right: 10px; color: #fefefe; top: 0px; width: auto; border-bottom: 0px; } nav.toc:hover:not(:empty):before { font-size: 0px; } nav.toc:hover, nav.toc:active { background: #efefef; width: auto; max-width: 90%; max-width: calc(60% - 52px); height: auto; max-height: 90%; max-height: calc(90% - 48px); text-indent: initial; white-space: initial; overflow: auto; padding: 8px; } } @media only screen and (max-width: 460px) { nav.toc { right: 8px; top: 8px; } nav.toc:hover, nav.toc:active { width: 90%; width: calc(100% - 36px); max-width: 95%; height: auto; max-height: 95%; max-height: calc(100% - 36px); } }