@charset "UTF-8";

* {
    padding: 0;
    margin: 0;
}

html {
    background-color: #111111;
}

body {
    color: white;
    width: 100%;
	max-width: 100%;
    margin: 0 auto;
    padding: 10px 0;
    font-size: 11pt;
    font-family: sans-serif;
	vertical-align: center;
}

#main-content {
	font-family: Inconsolata, monospace;
    margin-bottom: 20px;
}

#main-content > * {
    margin-left: 30px;
    margin-right: 30px;
}

#main-content h1 {
    font-size:7vw;
    margin-right: 0;
    margin-left: 10px;
    margin-top: 10px;
    padding: 5px 0 5px 0px;
	display:flex;
    align-items: center;
    justify-content: center;
}

#main-content h1:first-letter {
    color: #dd1155;
	font-size: 130%;
}

#main-content h2:first-letter {
    color: #dd1155;
    font-size: 130%;
}

#main-content a {
    color:  #dd1155;
    text-decoration: none;
}

#main-content a:hover {
    color: #222222;
    background-color: #dd1155;
}
#main-content a[href^="http://"]:after {
    padding-left: 3px;
    content: "⤴";
}
#main-content a[href^="https://"]:after {
    padding-left: 3px;
    content: "⤴";
}

@media screen and (max-width: 640px) {
	#main-content h1 {
		font-size: 10vw;
		padding-left: 10%;
		padding-top: 15px;
		padding-bottom: 30px;
	}
}

@media screen and (max-width: 640px) and (orientation: landscape) {
	#main-content h1 {
		font-size: 10vw;
		padding-left: 10%;
		padding-top: 0px;
	}
}

hr {
    width: 80%;
	height: 10px;
	border: 0;
	box-shadow: 0 10px 10px -10px #dd1155 inset;
}

#footer {
    margin-top: 50px;
    padding-top: 13px;
    /*padding-left: 50px;*/
    color: #afafaf;
    height: 30px;
    clear: both;
    font-size: 9pt;
    text-align:center;
}

img#logo {
    /* width: 258px;
    height: 135px; */
    /*margin-right: 10px;*/
    width: 128px;
    margin-right: 5%;
    float: right;
}

p {
    margin: 12px 4px;
}

pre,
code  {font-family: Inconsolata,consolas, courier, monospace;
    font-size: 12pt;
    /*line-height: 1.2em;*/
    /*white-space: pre; */
    background-color: #202020;
    /* any colour's okay, 
    so long as it's different to the page-background  
    (for ease of recognition) and contrast to the text */
    color: #888; /* likewise the background-color comment */
    /*-moz-border-radius: 1em;*/
    /*-webkit-border-radius: 1em;*/
    /*border-radius: /*1em; /**//* /*just /*in /*case /**/
    padding: 0.2em;
    /*margin: 1.2em 1em;*/
    width: 50%; /* /*or /*whatever /*you /*prefer /**/
    /*float: right;*/
}