body {
	font-family: Verdana, Trebuchet, Lucida, Arial, sans-serif;
	font-size: 80%;
   line-height: 135%;
   width: 770px;
   margin: 1em auto;
}
a {
	text-decoration: underline;
}
a:hover {
	text-decoration: underline;
}
h1 {
	margin: 0.3em 0 0.3em;
   padding: 0 0 0 0.6em;
   font-family: arial;
   font-size: 400%;
   line-height: 67%;
   overflow: hidden;
   border-width: 2px 0;
   border-style: solid;
}
h1 a, h1 a:hover {
   text-decoration: none;
}
h2 {
	font-size: 1.7em;
	margin: 0.5em 0 1em;
	font-weight: normal;
   display: block;
}
h2 a, h2 a:hover {
   text-decoration: none;
}
h3 {
	font-size: 1.1em;
	margin: 0;
	font-weight: bold;
	}
h3 a {
   text-decoration: none;
}
/*h4 {
	font-size: 1.2em;
	margin: 0;
	font-weight: bold;
	}
h5 {
	font-size: 1em;
	margin: 0em 0em 0em 0em;
	font-weight: bold;
	}
h6 {
	font-size: 0.8em;
	margin: 0em 0em 0em 0em;
	font-weight: bold;
	}*/
ol, ul, li {
	margin-top: 0.2em;
	margin-bottom: 0.1em; 
}
img {
   border: none;
}
p, ul {
	font-size: 1em;
   margin-bottom: 1em;
   margin-top: 1em;
}
li ul {
   margin: 0;
}
li > p {
	margin-top: 0.2em;
}
pre {
	font-family: monospace;
	font-size: 1em;
	}
div > pre {
	font-size: 1.5em;
}
#headerBox {
}
#topNav {
   float: right;
   margin: 0;
   padding: 0;
}
#topNav li {
   display: inline;
   margin: 0;
   padding: 0 0 0 0.5em;
   font-size: 85%;
}
#topNav ul {
   margin: 0;
   padding: 0;
}
#topNav a {
   text-decoration: none;
}
#topNav a:hover {
   text-decoration: underline;
}
#subtitle {
   font-style: italic;
   font-size: 85%;
   margin: 0 0 2em 2em;
}
#leftBlock {
   float: left;
}
#leftNav {
}
#leftNav h2 {
   font-size: 100%;
   font-weight: bold;
   width: 100px;
   margin: 0;
   padding: 4px 6px 0;
}
#welcomeMsgBody {
   font-size: 80%;
   line-height: 110%;
   width: 100px;
   padding: 0 6px 4px;
   margin: 0;
}
#leftNav a {
   text-decoration: none;
}


/* Code for the CSS menus */

ul.makemenu, ul.makemenu ul {
   width: 114px;
   list-style: none;
   margin: 0;
   padding: 0;
}
ul.makemenu li {
   margin: 0;
   padding-right: 2px;
   position: relative;
}
ul.makemenu li a {
   display: block;
   width: 100px;
   padding: 4px 6px;
}
ul.makemenu li > ul {
   display: none;
   list-style: none;
   position: absolute;
   top: 0;
   left: 114px;
}
ul.makemenu ul li {
   width: 170px;
}
ul.makemenu ul li a {
   width: 158px;
   padding: 4px 6px;
}
ul.makemenu li:hover > ul {
   display: block;
}

/* Rule for IE5 + IE6, applied by the IEmen.htc file and a conditional comment in each HTML document */
ul.makemenu ul.CSStoShow {
   display: block;
}


/* Page Content */

#lastUpdate {
   font-size: .9em;
   font-style: italic;
}
#mainContent, #extraContent {
   border: none;
   margin: 0 0 0 140px;
   padding: 0 0 30px 0;
}
div#contentHeader {
   padding: 1em 40px 1em 2em;
}
div.contentDescription {
   padding: 0 0 0 1em;
   margin: 1em 0 0;
   font-style: italic;
   font-size: ;
}
.dateOfUpdate {
   font-size: 90%;
}
#mainContent > * {
   padding-right: 40px;
}
/*#extraContent p {
   margin-left: 1.5em;
   margin-top: 1em;
}*/
#mainContent > ul > li, #mainContent > ol > li {
   margin-top: 1em;
}
ul.downloadList {
   font-size: .9em;
   margin-top: 1em;
   list-style-type: none;
   padding-left: 2em;
   margin-bottom: 1em;
}
.downloadList a {
   font-style: italic;
   text-decoration: underline;
}
/*
ul.linkCat {
   list-style: none;
   margin: 1em 0em 0em 0em;
   padding: 0px;
}
.linkCat ul {
   list-style: none;
}
.linkCat li {
   margin: 1em 0em 0em 0em;
}
.linkCat li li {
   margin: 0em 0em 0em 0em;
}
.linkCat li ul {
   margin: 1em 0em 0em 1.5em;
}
*/
div.item {
   padding: 1.5em 2em 1em;
}
span.itemDate {
   font-size: .8em;
}
div.releaseItem {
   color: inherit;
   /* positioning needed for IE weirdness */
   position: relative;
}
div.newsDescription {
   margin: 1em 0em 0em 1em;
}
#footerBox {
   font-size: .8em;
   margin-top: 10px;
   text-align: center;
}
#debian-footer {
   text-align: center;
}