html {
	font-size: 13pt;
	line-height: 1.4;
	font-family: Metropolis, sans-serif;
	background-color: #FDFDFD;
}
main {
	width: 100%;
	max-width: 50rem;
	margin: 0 auto;
	padding-top: 15px;
}
section {
	margin: 50px auto 0;
	max-width: 40em;
	font-size: 1rem;
}
h1 {
	margin: 0.7em 0 0.4em 0;
	font-size: 2em;
}
h2 {
	margin: 0.5em 0 0.4em 0;
	font-size: 1.5em;
}
p {
	margin: 0.5em 0 0 0;
	text-align: justify;
  hyphens: auto;
}
p + p {
  text-indent: 1em;
  margin-top: 0;
}
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: 0.5em;
	vertical-align: middle;
}
a[href^="http://"]::after {
	content: ' \1F513';
	font-family: Symbola;
	font-size: 0.6em;
	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;
}
blockquote {
	margin: 0 1em 0 1.5em;
	padding: 0 0.5em;
	background-color: #EFEFEF;
}
.proceedings {
	font-style: italic;
}

pre, samp, kbd {
	white-space: pre-wrap;
	font-family: monospace, Symbola;
}
.terminal {
	max-width: 80ch;
	margin: 0 auto;
	padding: 1px;
	border: 1px #CCC solid;
	box-shadow: 1px 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;
}
@keyframes blink-animation {
	to {
		visibility: hidden;
	}
}
@font-face {
	font-family: Metropolis;
	src: local('Metropolis'),
		url('font/Metropolis-Regular.woff') format('woff');
	font-weight: normal;
	font-style: normal;
}
@font-face {
	font-family: Metropolis;
	src: local('Metropolis'),
		url('font/Metropolis-RegularItalic.woff') format('woff');
	font-weight: normal;
	font-style: italic;
}
@font-face {
	font-family: Metropolis;
	src: local('Metropolis'),
		url('font/Metropolis-Medium.woff') format('woff');
	font-weight: 700;
	font-style: normal;
}
@font-face {
	font-family: Metropolis;
	src: local('Metropolis'),
		url('font/Metropolis-Bold.woff') format('woff');
	font-weight: 800;
	font-style: normal;
}
@font-face {
	font-family: Symbola;
	src: local('Symbola'),
		url('font/symbola.woff') format('woff'),
		url('font/symbola.ttf') format('truetype');
}