html, body {
	margin: 0;
	padding: 0;
}

#logo {
	position: absolute;
	top: 10px;
	left: 10px;
	border: 0px;
	z-index: 10;
}

#header h1 {
	margin: 0;
	padding: 5px 0px 5px 80px;
	background: #df0451;
	color: white;
	margin-bottom: 1em;
	border-bottom: 2px solid #af0031;
}

hr {
	height: 1px;
}

div#content {
	margin: 1em;
	margin-top: 4em;
}

div.info {
	border: 1px solid #888;
	padding: 0.5ex 1ex;
	padding-left: 40px;
	min-height: 48px;
	background: #eee url(dialog-information.png) 3px 3px no-repeat;
}

div.plan p {
	margin: 0;
}

pre {
	background: #eee;
	border: 1px solid black;
	padding: 0.5em;
}

a.pts {
	font-size: 90%;
}

div#footer {
	margin-top: 2em;
	font-size: 80%;
	padding: 2px;
	border-top: 1px solid gray;
}

table {
	margin-bottom: 2em;
}

table th {
	text-align: left;
}

table tr td {
	padding: 0 0.5ex;
	border-bottom: 1px solid gray;
	font-size:90%;
}

table tr td:first-child {
	padding-left: 1em;
}

table thead th {
	text-align: center;
}

td.debian-dir {
        text-align: right;
        border: 0;
	padding-top: 5px;
}

tr.gnome {
        background: #8ca3ff;
}

td.nocdbs {
        background: #ffff66;
}

th.time,
td.time {
	width: 60%;
	text-align: right;
}