body {
	background-color: white;
	color: black;
	text-align: justify;
	font-family: Arial, Helvetica, sans-serif;
	font-size: small;
}

a:link, a:visited {color: #33339F}
a:active, a:hover {color:  #6666CC}

h1,h2,h3 {background-color: silver; padding: 3pt; border: thin solid gray}

table {
	background-color: #F5FFFA;
	border: thin solid Gray;
}

th {
	margin: auto;
	border: 1pt inset Gray;
}
td {
	margin: auto;
	border: 1pt inset Gray;
	padding: 2pt;
}
.ident {
	font-family: "Courier New", Courier, monospace;
	font-style: normal;
	font-weight: bolder;
}
.zdrojak {
	font-family: "Courier New", Courier, monospace;
	font-size: x-small;
	padding: 2pt;
	margin: 20px;
	border: thin solid gray;
	background-color: #F5FFFA;
}
.zdrojakvtabulce {
	font-family: "Courier New", Courier, monospace;
	font-size: x-small;
	padding: 2pt;
	margin: 0px;
	border: thin solid gray;
}
pre {
	font-family: "Courier New", Courier, monospace;
	font-size: x-small;
}
acronym {
	font-weight : bolder;
}