html {
	font-size: 14pt;
	line-height: 1.4;
	font-family: Cantarell, sans-serif;
}
main {
	width: calc(100% - 32px);
	max-width: 45rem;
	margin: 0 auto;
	padding: 10px 15px;
	border-width: 1px;
	border-style: solid;
}
aside {
	margin: 1rem;
	border: 1px #555753 solid;
}
aside > div {
	padding: 1ex 1ex 1ex 2rem;
}
section {
	margin: 50px auto 0;
	max-width: 40em;
	font-size: 1rem;
}
nav {
	font-size: 1.2em;
}

q::before {
	content: '“';
}
q::after {
	content: '”';
}

blockquote {
	margin: 0 1em 0 1.5em;
	padding: 0 .5em;
	background-color: #EFEFEF;
}

hr {
	margin: 5ex 0;
	font-family: 'DejaVu Sans Mono', monospace;
	line-height: 1;
	border: none;
	border-bottom: 3px #555753 solid;
	color: #424645;
}
hr::after {
	display: block;
	position: relative;
	content: "~";
	top: -.95ex;
	height: 0;
	font-size: 10em;
	text-align: center;
}

h1 {
	margin: .75ex 0 .5ex 0;
	font-size: 2em;
}
h2 {
	margin: .5em 0 .4em 0;
	font-size: 1.5em;
}
p {
	margin: .5em 0 0 0;
	hyphens: auto;
}
p + p {
  text-indent: 1em;
  margin-top: 0;
}
form p {
  text-indent: 0em;
  margin-top: .25rem;
}
label {
  display: inline-block;
  max-width: 100%;
  width: 250px;
}
img {
	max-width: 100%;
}

a {
	color: #204A87;
}
a:visited {
	color: #3465A4;
}
a:hover, a:active {
	color: #729FCF;
	text-decoration: none;
}
a[href^="http://"]::after {
	content: ' \1F513';
	font-family: Symbola;
	font-size: .5em;
	vertical-align: middle;
}
strong {
	font-weight: 800;
}
abbr:not(.no-sc), .abbr:not(.no-sc) {
	text-transform: lowercase;
	font-variant: small-caps;
}
abbr[title] {
	text-decoration: underline dashed;
	cursor: help;
}

code, pre, samp, kbd {
	white-space: pre-wrap;
	font-family: 'Source Code Pro', monospace;
	background-color: #FFFFFD;
}
code {
	display: inline-block;
	max-width: 100%;
	padding: .1em .25em;
	vertical-align: bottom;
	font-size: .75em;
	color: #B00;
	background-color: #FFF5F5;
	border: 1px #F0E0E0 solid;
	border-radius: .25em;
	white-space: nowrap;
	overflow-x: auto;
}

aside.warning {
	background-color: rgba(252, 233, 79, .75);
}
aside.warning h3 {
	margin: 0;
	padding: .25ex 1em;
	color: #23211d;
	background: repeating-linear-gradient(
		45deg,
		#fa8a01,
		#fa8a01 10px,
		#f5c576  10px,
		#f5c576 20px
	);
}

span.foreign {
	font-style: italic;
}

a.back::before {
	display: inline-block;
	content: '<';
	width: 1em;
	margin-right: .5em;
	padding: .1em;
	text-align: center;
	line-height: 1;
	border: 1px #2e3436 solid;
	border-radius: 50%;
	background-color: #babdb6;
	color: #424645;
}

.metadata {
	font-size: .8em;
	color: #555753;
}

.terminal {
	max-width: 80ch;
	margin: 0 auto;
	padding: 1px;
	border: 1px #CCC solid;
	box-shadow: 2px 3px 5px #888;
	font-size: 10pt;
	line-height: 1.2em;
	word-break: break-all;
}
.terminal pre {
	margin: 0;
}
.cursor {
	animation: blink-animation 1.2s steps(2, start) infinite;
}
.hostname {
	color: #3465A4;
}
.pwd {
	color: #555753;
}
.fingerprint {
	font-family: monospace;
}

.errorlist {
	color: #e01b24;
}

.helptext {
	display: inline-block;
	max-width: 20rem;
	vertical-align: top;
	margin-left: 5px;
}
.helptext::before {
	content: '!';
}

.footnote {
	text-align: right;
	font-size: .65em;
	font-style: italic;
}
.footnote::before {
	content: '*';
}

ul.otherAttendees {
	display: flex;
	flex-direction: row;
	align-items: center;
	list-style-type: none;
	margin: 0;
	padding: 0 0 5px 0;
	overflow-x: auto;
}
ul.otherAttendees > li {
	text-align: center;
	min-width: 90pt;
	margin: 0;
	padding: 0;
}
ul.otherAttendees > li + li {
	padding-left: 5px;
}
ul.otherAttendees > li span {
	margin-top: 3px;
}

.yes, .no, .unknown, .helptext::before {
	display: inline-block;
	border-radius: 50%;
	border: 1px solid #00000055;
    text-align: center;
	width: 1em;
	line-height: 1em;
	padding: 3px;
	margin: 0 3px;
	cursor: help;
	background-color: #98c1f133;
}
.yes {
	color: #26a269;
}
.no {
	color: #e01b24;
}
.unknown, .helptext::before {
	color: #613583;
	font-weight: bold;
}

div.sourceCode {
	margin: .25em 0 .4em 0;
	overflow-x: auto;
	border: 1px #d3d7cf solid;
}
pre.sourceCode {
	margin: 0;
	padding: .75ex .75em;
	line-height: 1.25;
}
code.sourceCode {
	padding: 0;
	font-size: .8em;
	color: inherit;
	background-color: inherit;
	border-radius: inherit;
	border: inherit;
	white-space: pre;
}

code > span.kw { color: #c17d11; } /* Keyword */
code > span.dt { color: #204a87; } /* DataType */
code > span.dv { color: #cc0000; } /* DecVal */
code > span.bn { color: #0000cf; } /* BaseN */
code > span.bu { color: #3465a4; }
code > span.fl { color: #0000cf; } /* Float */
code > span.ch { color: #4e9a06; } /* Char */
code > span.st { color: #cc0000; } /* String */
code > span.co { color: #3465a4; font-style: italic; } /* Comment */
code > span.ot { color: #8f5902; } /* Other */
code > span.al { color: #ef2929; } /* Alert */
code > span.pf { color: #4e9a06; text-decoration: underline; } /* Pre-function */
code > span.fu { color: #4e9a06; } /* Function */
code > span.fn { text-decoration: underline; } /* File name */
code > span.er { color: #a40000; font-weight: bold; } /* Error */
code > span.wa { color: #8f5902; font-weight: bold; font-style: italic; } /* Warning */
code > span.cn { color: #000000; } /* Constant */
code > span.sc { color: #000000; } /* SpecialChar */
code > span.vs { color: #a40000; } /* VerbatimString */
code > span.ss { color: #ef2929; } /* SpecialString */
code > span.im { color: #75507b; } /* Import */
code > span.va { color: #000000; } /* Variable */
code > span.cf { color: #c17d11; } /* ControlFlow */
code > span.op { } /* Operator */
code > span.pp { color: #8f5902; font-style: italic; } /* Preprocessor */
code > span.ex { } /* Extension */
code > span.at { color: #c4a000; } /* Attribute */
code > span.do { color: #8f5902; font-weight: bold; font-style: italic; } /* Documentation */
code > span.an { color: #8f5902; font-weight: bold; font-style: italic; } /* Annotation */
code > span.cv { color: #8f5902; font-weight: bold; font-style: italic; } /* CommentVar */
code > span.in { color: #8f5902; font-weight: bold; font-style: italic; } /* Information */

@keyframes blink-animation {
	to {
		visibility: hidden;
	}
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 200;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-ExtraLight.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 200;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-ExtraLightIt.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 300;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-Light.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 300;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-LightIt.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 400;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-Regular.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 400;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-It.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 500;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-Medium.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 500;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-MediumIt.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 600;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-SemiBold.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 600;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-SemiBoldIt.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 700;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-Bold.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 700;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-BoldIt.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 900;
    font-style: normal;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-Black.woff') format('woff');
}
@font-face{
    font-family: 'Source Code Pro';
    font-weight: 900;
    font-style: italic;
    font-stretch: normal;
    src: local('Source Code Pro'),
		url('font/SourceCodePro-BlackIt.woff') format('woff');
}

@font-face{
	font-family: 'DejaVu Sans Mono';
    font-weight: 400;
    font-style: normal;
    font-stretch: normal;
    src: local('DejaVu Sans Mono'),
		url('font/DejaVuSansMono.woff') format('woff');
}
