body {
	padding: 10px; color: black; font-family: Verdana, Arial, sans-serif; background-color: #f0f0f0
}

table {
	margin: auto; background-color: white; text-align: left
}

div.centerframe{
	text-align: center;
	background-color: white;
	border: #376eab 2px solid;
	width: 720px;
	margin: auto;

}

/* TODO: eliminate the inner table */
.innertable {
	background-position: 300px 140px;
	background-image: url(/back.jpg);
	margin: 0.4cm;
	background-repeat: no-repeat;
}

.contenttable {
	background-color: transparent
}

p {
	font-size: 10pt; margin: 12px;
	text-align:justify;
}
li {
	font-size: 10pt; margin: 12px
}
.smalltext {
	font-size: 8pt; color: #666666
}
.announcement {
	font-size: 16pt
}
.highlight {
	color: #376eab
}
a:link {
	color: #7a7272; text-decoration: none
}
a:visited {
	color: #7a7272; text-decoration: none
}
a:active {
	color: #7a7272; text-decoration: none
}
a:hover {
	color: #303030; text-decoration: none
}
.header {
	font-size: 19pt; margin: 20px; text-align: center
}
.image {
	border-top-width: 0px; border-left-width: 0px; border-bottom-width: 0px; border-right-width: 0px
}
.centerimage {
	border-top-width: 0px; border-left-width: 0px; border-bottom-width: 0px; text-align: center; border-right-width: 0px
}
ul {
	padding-right: 0px; margin-top: 5px; padding-left: 0px; font-size: 11px; margin-bottom: 15px; padding-bottom: 0px; margin-left: 25px; padding-top: 0px; list-style-type: disc
}
.cronw {
	font-weight: bold;
	color: darkgreen;
}
.todo-list {
	margin: 0px;
	list-style-position: outside;
	list-style-type: square;
	list-style-image: url(todo.gif);

}
.done-list {
	margin: 0px;
	list-style-position: outside;
	list-style-type: square;
	list-style-image: url(done.gif);
}

td {
	font-size: 10pt; margin: 12px;
}


tr.works {
    background-color:#8ff367
}

tr.untested {
    background-color:#f1f355
}

tr.unsupported {
    background-color:#cccccc
}

a.italic {
   /*  font-style */
}

a.bold {
   font-weight: bold
}