/*a:hover {background-color: #80ff80} */
body {
	font-family: Garamond, Georgia, "Times New Roman", Times, serif;
	font-size: 1em;
}
tt {
	color: #00E;
}
h2 {
	color: blue;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
pre {
	width:55em;
	margin:16px;
	margin-left:30px;
	padding:8px;
	line-height:150%;
	background: #e0e0e0;
	font-size: 0.9em;
}
table {
	border-collapse: collapse;
}
td {
	font-family: arial;
	font-size: 0.9em;
	padding: 4px;
}
div.vsechno {
	margin-left:15%;
	width: 70%;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	margin: 16px;
	padding: 16px;
}
a.menu {
	font-family: Arial, Helvetica, sans-serif;
	background: #eee;
	padding: 4px;
	margin: 4px;
	border: solid grey 1px;
}
a.menu:hover {
	font-family: Arial, Helvetica, sans-serif;
	background: #fff;
	padding: 4px;
	margin: 4px;
	border: solid black 1px;
}
h3 {
	margin:0px;
	height:25px;
	font-size:25px;
	color:#ed6116;
	text-align:center;
	width:850px;
	padding-top:10px;
	padding-bottom:10px;
}
div.warning{
	height:20px;
	border:1px solid red;
	color:red;
	font-weight:bold;
	font-size:18px;
	margin-bottom:5px;
	width:850px;
}