@charset "UTF-8"; html { -webkit-box-sizing: border-box; -moz-box-sizing: border-box; -ms-box-sizing: border-box; -o-box-sizing: border-box; box-sizing: border-box; height: 100%; -webkit-text-size-adjust: 100%; -ms-text-size-adjust: 100%; } *, *:before, *:after { -webkit-box-sizing: inherit; -moz-box-sizing: inherit; -ms-box-sizing: inherit; -o-box-sizing: inherit; box-sizing: inherit; margin: 0; padding: 0; border: 0; } body { min-height: 100%; font-size: 100%; font-family: Sans-Serif; background-color: #eff0f1; } a { color: #3498db; text-decoration: none; } #projlist { width: 100%; list-style: none; font-size: 1.5em; } #projlist li { border-top: 1px solid lightgrey; padding: 1em; } #projlist a { font-weight: 500; } #frontmatter { padding: 1em 0; } #frontmatter h1 { font-variant: small-caps; font-weight: 700; } #frontmatter h2 { font-variant: small-caps; font-weight: 600; } #frontmatter h3 { font-variant: small-caps; font-weight: 500; } #frontmatter h4, #frontmatter h5, #frontmatter h6 { font-variant: small-caps; font-weight: 400; } #frontmatter p+p { margin-top: 1em; } #frontmatter ul { list-style: inside; margin: 1em; } #topnav { width: 100%; display: inline-block; background-color: #404040; color: #dddddd; padding: .5em; } .toplink { display: inline-block; color: #f0f0f0; padding: 0 1em; margin: 0 1em; } .toplink:hover { color: #dddddd; } #homelink { float: right; } #projbar { border-bottom: 1px solid lightgray; width: 100%; padding: 0 .5em; margin-top: .5em; display: inline-block; } #projheader { font-weight: bold; float: left; font-size: 1.25em; } #projheader:after { display: table; clear: both; content: ""; } #projnav { top: 1px; position: relative; float: right; } #projnav:before { display: table; clear: both; content: ""; } #projnav:after { display: table; clear: both; content: ""; } #projnav a { float: left; border: solid; border-width: 1px; border-color: transparent; padding: .25em 1em; } #projnav a.current { border: solid; border-width: 1px; border-color: black lightgray transparent; background-color: #eff0f1; } #browser { max-width: 100% !important; margin: 0 .5em; } @media screen and (min-width: 44em) { #browser { margin: 0 5%; } #projbar { padding: 0 5%; } .content { border: 1px solid #b0c4dd; } } @media screen and (min-width: 66em) { #browser { width: 60em; margin: 0 auto; } } .content { width: 100%; background-color: white; border-top: 1px solid #b0c4dd; border-bottom: 1px solid #b0c4dd; margin: 1em 0; } .button { display: inline-block; vertical-align: middle; } .button:hover { background-color: lightgrey; } #projectheader { margin-top: 1em; overflow: hidden; } #currentpath { display: inline-block; font-weight: 500; } #repodownload { display: inline-block; vertical-align: middle; float: right; } #gitlabel { display: inline-block; vertical-align: middle; height: 1.375rem; border: 1px solid lightgrey; border-right: 0; background-color: #fdfdfd; padding: 0 .125em; } #giturl { display: inline-block; vertical-align: middle; border: 1px solid lightgrey; padding: .075em .25em; height: 1.375rem; } #content { margin: .5em; overflow-x: auto; } #contentheader { border-bottom: 1px solid lightgrey; padding: .25em; overflow: auto; background-color: #f5f5f8; } #contenttitle { } #contenttitleicon { margin-left: .25em; margin-right: .5em; } #viewraw { float: right; } #downloadicon { margin: 0 .25em; } #children { border-collapse: collapse; } #children td.child { border-top: 1px solid lightgray; } #children td.child-icon { width: 1em; color: #8598ac; padding-left: .5em; /*do we want this? unbalances with right, but looks better?*/ } #children td { padding: .125em .25em; } #children td.last-column { text-align: right; } #children tr:hover td { background: #f0f0f0; } #children a:hover { text-decoration: underline; } #footer { border-top: 1px solid lightgray; font-size: .66em; color: #404040; overflow: auto; padding-top: .125em; padding-bottom: 1em; } #copyright { float: left; } #defaultrights { float: right; }