/*
html {
	background-color: white;
	color: black;
        font-size: 12pt;
        line-height: 16pt;
	font-family: "Verdana",sans-serif;	
}


table {
	border-width: 1px;
	border-spacing:0px ;
	border-style: solid;
	border-color: black;
	border-collapse: separate;
}
table th {
	border-width: 1px;
	padding: 4px;
	border-style: inset;
	border-color: black;
}
table td {
	border-width: 1px;
	padding: 4px;
	border-style: inset;
	border-color: black;
}

h1 {font-size: 240%; line-height: 100%; font-weight:normal; }

h2 {font-size: 180%; line-height: 100%; font-weight:normal; }

h3 {font-size: 120%; line-height: 100%; font-weight:normal;}


img {border:1px solid black;}
*/
a:link:after, a:visited:after { content:" [" attr(href) "] "; }

pre {
    overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
    white-space: pre-wrap; /* css-3 */
    white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
    white-space: -pre-wrap; /* Opera 4-6 */
    white-space: -o-pre-wrap; /* Opera 7 */
     /* width: 99%; */
    word-wrap: break-word; /* Internet Explorer 5.5+ */
    font-size: 10pt;
    line-height: 12pt;
}