body {
    margin: 0px;
	background-color: #fcfcfc;
}

h1 {
    font-family: 'Kalam', serif;
    padding-left: 0.25em;
	padding-top: 0.15em;
	padding-bottom: 0px;
    margin: 0px;
    font-size: 3.5em;
    xtext-shadow: 0px 0px 8px  #ff0000, 0px 0px 8px #ff0000,
                 0px 0px 12px #ff0000, 0px 0px 12px #ff0000;

}

div.banner {
    padding: 0px;
    margin: 0px;
    height: 150px;
    background-image: url('background.png');
    background-position: right top;
    background-repeat: no-repeat;
    background-color: #fcfcfc;
    border-color: black;
    border-bottom-style: solid;
    border-bottom-width: 1px;
	display: flex;
	flex-direction: column;
}
div.banner div {
	flex-grow: 1;
}

.menu {
    border-color: black;
    border-top-style: solid;
    border-top-width: 1px;
    list-style-type: none;
    font-family: sans-serif;
    padding: 0px;
    margin: 0px;
	background-color: rgb(0.5,0.5,0.5, 0.1);
}
.menu li {
    display: inline;
    padding: 0px;
    margin: 0px;
    font-size:1.75em;
    margin-left: 0.25em;
    margin-right: 0.25em;
}
.menu a {
    text-decoration: none;
    padding: 0px;
    margin: 0px;
}

main {
    padding: 1em;
}

.fixedfont {
	margin-left: 2em;
	font-family: monospace;
	white-space:pre;
}