html,body {
	margin:0;
	padding:0;
	border: none;
 	background: #fff; 
} 
#wrapper {
	font-family: Verdana, Arial, "DejaVu Sans", sans-serif;
	font-size: 10pt;
 	padding: 25px; 
	margin: 0;
	background: white url(images/bg.gif) repeat-x;
/* 	background-position: 70% */
}

h1,h2,h3,h4,h5,h6 { 
font-weight: bolder;
font-family: Arial, "DejaVu Sans", Helvetica, sans-serif;
}

h2 a, h3 a, h4 a, h5 a, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited
  {
  color: #000000;
  text-decoration: none;
}


h1 { 
    font-size: 2em; 
    margin: .67em 0
}
h2 { 
    font-size: 1.5em; 
    margin: .75em 0
}
h3 { 
    font-size: 1.17em; 
    margin: .83em 0
}
h4 { 
    margin: 1.12em 0
}
h5 { 
    font-size: .83em; 
    margin: 1.5em 0
}
h6 { 
    font-size: .75em; 
    margin: 1.67em 0
}

a {
	color:#380061;
	 text-decoration:none;
} 
a:visited {
	 color:#186e7b ;  /* azzurrino */ 
	
}
a:hover {
	 text-decoration:underline;
}

pre {
    padding: 5px 8px;
    font-family: monospace;
    background-color: #dddddd;
}


ul.submenu {
     list-style-type:none; 
     padding: 0;
     margin: 0;
     text-indent: 0;
}

.submenu li {
     text-indent: 0;
     padding: 5px 0;
}

a.pdflinks {
    margin: 2px;
    border: groove 2px black ;
}

a:hover.pdflinks {
    background: black;
    color: white;
    text-decoration: none;
}

#index a:hover {
	text-decoration:underline;
}

#banner {
    background-color: black;
    background: url(images/cobble.png) repeat-x;
    border: none;
    border-top: solid 4px black;   
    border-bottom: solid 1px black;   
    margin: 0;
    padding: 0;
    display: block;
    height: 134px;
}
#banner a {
    text-decoration: none;
    color: black;
    display: block;
    margin: 0;
    padding: 0;
}
#banner a:visited { color: black; margin: 0; padding: 0; text-decoration: none; }

#banner img {
    margin: 0;
    padding: 0;
    overflow: hidden;
    border: none;
}

/* global width */

#title, #preamble, #content, #footer {
    width: 71%;
}

#preamble {
padding-bottom: 20px;
}

#nav { 
    background-color: black; 
    color: white;
    margin: 0px 0px;
    padding: 3px 5px 5px 5px;
    border: solid black 2px;
    font-size: 17px;
    font-family: Arial, "Dejavu Sans", Helvetica, sans-serif;
    font-style:normal;
    font-variant:normal;
    font-weight:normal;
    line-height:normal;
}

#nav ul {
    background-color: black; 
    color: white;
    margin: 0px 0px;
    border: solid black 1px;
    padding-left: 20px;
}

#nav a {
    color: white;
}


#current a a:visited {
    text-decoration: underline;
}


#nav a:hover {
    text-decoration: underline;
}

#nav a#current {
    text-decoration:underline;
}

#nav ul li {
    display: inline;
    list-style-type: none;
}

#nav li {
    padding: 5px 20px;
}

#content {
    padding: 5px;
    margin: 4px;
    padding-bottom: 30px;
   border-bottom: 3px solid black; 
}


#footer {
    clear: both;
    padding: 20px 0;
}


/* TOC */ 

div#toggler {
    margin: 0px;
    font-size: 7pt;
    padding: 0px;
    width: 25%;
    text-align: left;
    height: auto;
    overflow: hidden;
    position: fixed;
    left: 72%;
    bottom: 0%;
}

#toggler a {
    color: black;
}

#toggler p {
    padding: 0px;
    margin: 0px;
    text-align: right;
}


div#table_of_contents {
    margin: 1px;
    padding: 0 5px 5px;
    margin-right: 0px; 
    width: 25%;
    text-align: left;
    height: 40%;
    overflow: auto;
    position: fixed;
    left: 72%;
    top: 50%;
    border: 1px solid black;
    background-color: #ddd;
}

#table_of_contents ul {
     list-style-type:none; 
     margin: 0;
     padding: 0;
}

#table_of_contents a {
	color: #000;
	text-decoration: none;}

#table_of_contents a:hover {
    color:#186e7b ;  /* azzurrino */ 
}

ul#toc {
    margin:0;
    padding:0;
    text-indent: 0; 

}

#table_of_contents li {
margin: 3px 1em;
text-indent: -1em;
}

.level2 {
	font-weight: bold;
	font-size:11pt
}	

.level3 {
	font-weight: bold;
	font-size: 10pt;
}
.level4 {
	font-weight: normal;
	font-size: 9pt;
}
.level5 {
	font-weight: normal;
	font-size: 8pt;
}

#nothere {
    display: none;
}

a.feed-icon  {
    color: white;

}

/* uncomment this for the torrent release

#gotoscript {display: none;} 
#gotosearch {display: none;} 

*/