body {
        background-color: white;
        color: black;
        font-size: 11pt;
	font-family: 'Bitstream Vera Serif', Georgia, Serif;
}

a {
        color: #1b56ce;
        background-color: inherit;
}

a:hover {
        background-color: inherit;
        color: #d81e1e;
}

#title h2 {
	font-size: 18pt;
        margin-bottom: 0px;
}

#title {
	/*margin-left: 150px;*/
	float: none;
	margin-bottom: 50px;
	font-family: sans-serif;
}

#debian-logo {
        vertical-align: middle;
        float: left;
        padding-left: 15px;
        padding-right: 15px;
}

.box {
        margin-left : 2em;
        padding : 0.5em;
        display : table;
        border : 1px dotted gray;
        background-color : #f0f0f0;
        color : inherit;
        font-family: 'Bitstream Vera Sans Mono', monospace;
	font-size: 10pt;
	margin-top: -5px;
	margin-bottom: -5px;
}

.box li {
        list-style-type : none;
}

#footer {
        border-top: 1px gray solid;
        margin-top: 25px;
        padding-top: 5px;
        margin-bottom: 25px;
        text-align: center;
	font-size: 9pt;
        font-family: sans-serif;
}

img {
        border: none;
}

blockquote {
	font-size: 9pt;
	border: 1px solid #eee;
	padding: 5px;
	background-color: #fcfcfc;
}

h3 {
	margin-top: 50px;
}

#sections {
	display: inline;
	margin-left: 0;
	padding-left: 10px;
	padding-right: 10px;
	line-height: 170%;
	border: 1px gray solid;
}

p.title {
	font-size: 16pt;
	font-family: sans-serif;
	border: 1px solid gray;
	background-color: #f0f0f0;
	padding: 5px;
	color: #333;
        margin-top: 40px;
	font-weight: bold;
}

p.subtitle {
	font-size: 12pt;
	/*font-family: sans-serif;*/
	margin-top: 30px;
	margin-bottom: -10px;
	font-weight: bold;
}

p {
	padding-left: 25px;
}

.small {
	text-align: right;
	padding-top: 10px;
	font-size: 9pt;
	font-weight: bold;
}

.small a {
	text-decoration: none;
}

.name {
	font-weight: bold;
}

.package {
	padding-left: 15px;
	padding-right: 15px;
	margin-top: 2em;
}

.warn {
	font-weight: bold;
	color: red;
}

#search {
	/*margin-left: 150px;*/
	margin-top: -30px;
    float: none;
}