body {
	font-family: Arial, Helvetica, sans-serif;
}
.Feld { font-size:0.9em; font-family:Arial;background-color:#dddddd;  border:1px solid #eeeeee; }
.heading {font-family:Arial; background-color:#eeeeee;}
body {font-size:0.9em;font-family:Arial;}
.blue {color:#0000FF;}
.red { color:#FF0000;}
.green { color:#00FF00;}
.pink { color:pink;}
.bigger { font-size: 1.2em}
td {vertical-align: top;}
th {text-align: left;
text-decoration: underline;
font-weight: bold}
.grey {font-size:0.9em; font-family:Arial;color:#a9a9a9;}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 36pt;
}
.bianchi {
	border-style: solid;
	border-color: #00FFFF;
	border-width: 3px;
}
.tasty {
	color: #00FFFF;
	font-style: italic;
}
.tasty_pink {
	color: #ff00ff;
	font-style: italic;
}
.code {
	font-family: monospace, "Courier New", Courier ; 
}
h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 28pt;
}
.solidborder {
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-color: #CCCCCC
}
a:visited {
	color: blue;
}
a:hover {
	color: black;
}

h3 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 24px;
}
.blue_subheading {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11pt;
	vertical-align: top;
	font-style: italic; 
	font-weight: bolder;
	color: blue;
}
.HTML_element {
	background-color: #9999FF;
	padding: 3px;
	font-size: 10pt;
	border-radius: 11px; 
}
.bold {
	font-weight: bold;
}
.shutdown_notification {
	border: 1px solid red;
	color: red;
	text-align: center;
	font-weight: bold;
	font-size: 14pt;
}