body {
	font-family: "DejaVu Sans", sans-serif;
	font-size: 2.5vw;
        text-align: justify;
        text-justify: inter-character;
        hyphens: auto;
        line-height: 1.4;
}

button {
	padding: 0;
}

button.login {
	width: 9em;
	height: 2.5em;
	margin: 0.25em;
}

button img {
	vertical-align: middle;
	margin: 0 0.5em 0 -0.5em;
}

div {
	padding: 0;
	margin: 0;
}

div.main {
	margin: 5%;
	font-size: 120%;
}

div.titlepage {
	text-align: center;
}

div.titlepage * {
	margin: 0;
}

p.author {
	text-indent: 0;
	display: none;
}

p.date {
	text-indent: 0;
}

div.window {
	border: 1px solid;
	margin: 1em 0;
	width: 100%;
}

div.replies {
	margin-left: 10%;
}

a {
	font-weight: normal;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

pre {
	font-size: 75%;
}

div.window div.title {
	position: relative;
	font-weight: bold;
	font-variant: small-caps;
	padding: 0.1em 0.2em;
}

div.menu {
	width: 20%;
        margin: 1em;
        float: right;
}

div.menu div.window {
    border: 2px solid;
}

div.copyright {
	font-size: 80%;
	padding: 0 1em;
	margin: 0 0 2em 0;
}

div.menu a {
	position: relative;
	display: block;
	text-align: left;
	text-decoration: none;
	padding-left: 0.5em;
}

div.menu a.title {
	position: relative;
	font-weight: bold;
	font-variant: small-caps;
	padding-left: 0;
}

div.navbar {
	padding-top: 1em;
}

div.navbar a {
	text-decoration: none;
}

p {
	text-indent: 3em;
	margin: 1em 0 0 0;
}

p.first {
	text-indent: 0;
	margin-top: 0;
}

table {
	margin: 1em;
}

th {
	text-align: left;
	vertical-align: top;
}

td {
	text-align: left;
	vertical-align: top;
}

.noborder, div.menu .noborder {
	border: none;
}

table.noborder td, th {
	border: none;
}

table.seamless {
	margin: 0;
	padding: 0;
	border: none;
}

table.seamless tr td th {
	margin: 0;
	padding: 0;
	border: none;
}

.thinborder {
	border: 1px solid;
	border-collapse: collapse;
}	

.thinborder td, .thinborder th {
	border: 1px solid;
	border-collapse: collapse;
	padding: 0.1em;
}

.error {
	color: #000000;
	background-color: #ffcccc;
	border: 1px solid #ff9999;
	padding: 0.5em;
	margin: 0.5em;
}

.help {
	font-size: 80%;
}

.success {
	color: #000000;
	background-color: #cceecc;
	border: 1px solid #99cc99;
	padding: 0.5em;
	margin: 0.5em;
}

hr {
	width: 100%;
	margin: 1em auto;
	border: none;
	height: 1px;
	color: #666666;
	background-color: #666666;
}

object {
	width: 100%;
	height: 12em;
	margin: 0;
}

a.footnote {
	vertical-align: top;
	font-size: 50%;
	text-decoration: none;
}

p.footnote {
	text-indent: 0;
}

h1 {
	font-size: 180%;
	font-weight: normal;
	text-align: center;
}

h2 {
	font-size: 140%;
	font-variant: small-caps;
}

h3 {
	font-size: 130%;
	font-weight: bold;
}

h4 {
	font-size: 115%;
	font-weight: bold;
}

h5 {
	font-size: 100%;
	font-weight: bold;
}

h6 {
	font-size: 100%;
	font-weight: normal;
}

tr.even {
	background-color: #cccccc;
}

dt {
	margin-top: 1em;
}

ul {
    margin-left: 0;
    padding-left: 5%;
}

li {
    margin-bottom: 1em;
}

@media print {
	body {
		text-align: justify;
		color: #000000;
		background-color: #ffffff;
		font-size: 9pt;
                margin: 10%;
	}

        pre {
            font-size: 70%;
        }

	p {
		text-indent: 5%;
		margin: 0;
	}

	div.menu {
		display: none;
	}

	div.navbar {
		display: none;
	}

	div.body {
		left: 0;
		top: 0;
		padding: 0;
	}

	div.body div.window {
		border: none;
		width: 100%;
	}

	div.body div.title {
		display: none;
	}

	div.titlepage {
		margin: 10%;
	}

	h1 {
		text-align: center;
	}

	p.author, p.date {
		display: block;
	}
}

@media screen and (min-width: 1000px) {
    div.body {
        width: 76%;
        margin: auto;
        font-size: 15pt;
	text-align: justify;
        text-justify: inter-character;
    }

    div.main {
        margin: 12%;
    }
}

@media screen and (max-width: 999px) {
	body {
        	margin: 0;
        }

	div.body div.window {
		border: none;
        	margin: 0;
	        padding: 1em 0;
		width: 100%;
	}

	div.body div.title {
	    display: none;
	}

        div.body div.window div.title {
            border: none;
        }
}

@font-face {
	font-family: "DejaVu Sans";
	src: url("../fonts/DejaVuSans.ttf");
        font-weight: normal;
        font-style: normal;
}

@font-face {
	font-family: "DejaVu Sans";
	src: url("../fonts/DejaVuSans-Bold.ttf");
        font-weight: bold;
        font-style: normal;
}

@font-face {
	font-family: "DejaVu Sans";
	src: url("../fonts/DejaVuSans-Oblique.ttf");
        font-weight: normal;
        font-style: oblique;
}

@font-face {
	font-family: "DejaVu Sans";
	src: url("../fonts/DejaVuSans-BoldOblique.ttf");
        font-weight: bold;
        font-style: oblique;
}

@font-face {
	font-family: "EB Garamond";
	src: url("../fonts/EBGaramond-Medium.ttf");
        font-weight: normal;
        font-style: normal;
}