html, body {
	height: 100%;
	margin: 0;
	padding: 0;
}

/* some generic defaults */
body {
	font: 100% sans-serif;
	background-color: #F8F8F8;
        display: flex;
        flex-direction: column;
}
div, form {
	margin: 0;
	padding: 0;
}
/* end of some generic defaults */

/* the presenation of header and footer lines */
#header, #footer {
	clear: both;
	background-color: #D0D0F0;
	width: 100%;
	margin: 0;
	padding: 0.2em 0;
}
#header form {
	text-align: right;
	font-size: 80%;
	margin-right: 1em;
}
#header form p, #footer p {
	padding: 0;
	margin: 0;
}
#footer {
	text-align: right;
	margin-right: 1em;
}
#header {
	border-bottom: 1px solid #AAA;
}
#footer {
	border-top: 1px solid #AAA;
}
dif#footer ul, ul#footer {
	margin: 0;
	padding: 0;
}
#footer li {
	display: inline;
	padding-left: 0.5em;
	padding-right: 0.5em;
}
#footer li + li {
	border-left: 1px dotted black;
}
#footer li:before {
	content: "\21D2\A0";
	color: #B00000;
}
#footer li.tohome:before {
	content: "\21D1\A0";
	color: #B00000;
}
/* end of the presenation of header and footer lines */

h1 {
	font: bolder 200% Verdana, sans-serif;
	margin: 0;
	padding: 0.3em 1em;
	background-color: #FFF;
}
h1 .adelton {
	color: black;
	font-style: italic;
}
h1 .dot {
	color: #F00000;
	position: relative;
	bottom: -0.25em;
}
h1 .com {
	color: #AAA;
	font-weight: normal;
	letter-spacing: -0.1em;
}
p#subtitle {
	margin: 0;
	padding: 0 2em 0.6em;
	background-color: #FFF;
}

#main {
	margin: 0;
	padding: 1.5em 2em;
	border-top: 1px solid #CCC;
}
#main:after {
	content: "\A0";
	clear: both;
	display: block;
	height: 0;
}
* html #main {
	height: 1em;
}


div#software, div#tutoring, div#people {
	width: 30%;
	margin-right: 4%;
	float: left;
}
div#people {
	margin-right: 0;
}
h2 {
	font-size: 150%;
	margin: 0;
	padding: 0.2em 0;
	border-top: 0.3em solid #6060A0;
}
ul {
	list-style: none;
	margin: 0;
	padding: 0.1em 0;
}
ul li {
	margin: 0;
	padding: 0;
}

a {
	color: #303080;
}

img.titlelogo {
	float: right;
	background-color: white;
	padding: 0.5em;
	margin-right: 2em;
}

q:lang(cs) {
	quotes: "\201E" "\201C" "\00BB" "\00AB";
}
q:lang(en) {
	quotes: "\201C" "\201D" "\2018" "\2019";
}