* { font-family: monospace; } html { color-scheme: dark; } ul { list-style-type: square; } table.banner { margin-left: auto; margin-right: auto; border: 2px solid #E04A38; background-color: #E6897E; width: 95%; /* Passes both WCAG AD and WCAG AAA contrast tests */ color: #0F0F0F; } table.banner td { padding: 5px; } table.banner td a { color: #0F0F0F; } table.banner td a:hover { text-decoration: underline; } div.page { min-width: 780px; max-width: 1024px; padding-left: 0.5em; padding-right: 0.5em; margin: auto; } h1.inline { font-family: sans-serif; font-weight: normal; margin-top: 0em; clear: none; font-size: 100%; display: inline; } h1.inline:before { content: "" } h1:before { content: "> " } h2:before { content: ">> " } h3:before { content: ">>> " } h1, h2, h3 { font-family: monospace; font-weight: normal; margin-top: 1em; clear: left; color: #FFFFFF; } img { border: none; max-width: 100%; } img.right { float: right; margin-left: 0.5em; } table.form td { border: none; } /* -------------------------------------------------------------------------- */ div.preview { display: inline-block; width: 30em; max-width: 100%; text-align: center; vertical-align: top; margin-bottom: 2em } div.project { display: inline-block; width: 40em; max-width: 100%; text-align: center; vertical-align: top; margin-bottom: 2em } div.preview .heading .name, div.project .heading .name { font-size: 120% } div.preview img, div.project img { width: auto; max-width: 90%; max-height: 15em } div.preview pre.small, div.project pre.small { font-size: 75%; overflow: hidden } div.preview pre, div.project pre { background-color: #222; color: #ccc; } div.project pre { border: 1px solid #666666 } pre { display: inline; max-width: 95%; overflow: auto } .header a { text-decoration: none } nav { margin-bottom: 0.3em } div.ddate { text-align: center } div.note { font-style: italic } table { border-collapse: collapse; border-color: #FFFFFF; } table.noborder td { border: none } table.skami a { text-decoration: none } table.weather th { font-weight: normal } table.weather td { font-weight: bold; text-align: right } .project .name { font-weight: bold } .toplinks a { margin-right: 0.5em; text-decoration: none } div.inlinepage { margin-top: 2em; border: 0; padding: 0 } div.pheader { font-size: 120% } div.pheader span.date { margin-right: 1em; font-weight: normal } div.pheader a { font-weight: bold; text-decoration: none } div.rss { position: absolute; top: 1em; right: 1em } div.archived { margin-top: 0.5em } div.archived span.date { font-style: italic; margin-right: 0.2em } video { max-width: 100% } .toplinks span { display: block; text-align: right; float: left; width: 8em; margin-right: 0.5em } .deprecated { line-height: 140%; width: 100%; color: #aa0000; text-align: center; padding-bottom: 0.5em; border-bottom: 2px dashed #aa0000 } .project .attributes { font-style: italic } .project .attribbracket { margin-left: 0.5em } .toplinks { line-height: 140%; width: 100%; padding-top: 0.5em; padding-bottom: 0.5em; border-bottom: 1px solid #cccccc } table td { border: 1px solid white } td { padding: 0px; vertical-align: top; } table.skami { border-color: #eeeeee !important } .header .pagetree { font-size: 80%; display: block; text-align: center; width: 100%; padding-top: 0.1em; padding-bottom: 0.1em; border-top: 1px solid #cccccc; color: #FFFFFF; } .header .pagetree .title { color: #fff } .header { font-size: 100%; font-weight: normal; padding-bottom: 0em; border-bottom: 1px solid #cccccc; text-align: center; color: #FFFFFF; } div.preview pre, div.project pre { display: inline-block; text-align: left; padding: 0.2em; max-width: 90% } h1 { font-size: 150% } h2 { font-size: 130% } h3 { font-size: 115% } body { font-family: sans-serif; margin: 0px; color: #ddd; background-color: #333; } table.computers { width: 100%; } td.computer { width: 50%; border: 0px; } div.footer { text-align: center; margin-bottom: 5px; } table.commits tr td { border: none; padding-right: 5px; } a { color: #99f; text-decoration: none }