body {
    background-color: #111111;
    min-height: 100%;
	color: silver;
}
* body { 
    height: 100% 
}

pre {
	color: silver;
}
.kw {
	color:coral;
    font-weight:bolder;
}
.type {
	color:palegreen;
    font-weight:bold;
}
.mod {
	color:LightCoral;
	font-weight:bolder;
    font-style:italic;
}

}

.bad {
	color: red;
	background-color:DarkOliveGreen;
}

.ret {
	color:yellow;
}

.descr {
	color:lime;
    font-family: "Arial";
}


.BB  {
    font-family:"Comic Sans MS";
    font-weight:bold;
    font-size:13pt;
    color:Maroon;
}


table
	{
	border-spacing: 4px;
	margin-left: 20px;
	margin-right: 20px; 
	border:0px;
	border-collapse:collapse;	
	width:95%;
	}

    
h1
	{
	margin-right:0cm;
    margin-bottom:0;
	text-align:left;
	font-size:40px;
	font-family:"Impact", "Haettenschweiler", "Arial";
	font-weight:bolder;
	color: white;
	}


h1.old
	{
	margin-right:0cm;
	text-align:center;
	font-size:24pt;
	line-height:50px;
	font-family:"Times New Roman";
	font-weight:bold;
	padding: 10px;

    border-radius: 20px;
    border: 2px solid silver;
	background: darkblue;
	color: LightYellow;
	}
h2
	{
	margin-right:0cm;
	text-align:left;
	font-size:20pt;
	line-height:28pt; 
	font-family:"Times New Roman";
	font-weight:bold;
	color: blue;
	font-style: italic;
	text-shadow: 0 0 2px blue, 0 0 2px navy, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua, 0 0 2px aqua;
	text-decoration: underline; 
	border-bottom: solid 2px yellow;	
	}
h3
	{
	margin-right:0cm;
	color: LimeGreen;
	text-align:left;
	font-size:18pt;
	line-height:24pt;
	font-family:"Times New Roman";
	font-weight:bold;
	text-decoration:underline;
	}
a:link
	{
	color:cyan;
	text-decoration:underline;
	}
a:visited
	{
	color:lime;
	text-decoration:underline;
	}
p {
	margin-right:0cm;
	margin-top:0px;
	margin-bottom: 0px;
	margin-left:0px;
	text-align:justify;
	text-indent: 4ex;
	color: silver;
    font-family: "Lucida Console";
	}

code
	{
    font-family:"Lucida Console", "Courier New";
	font-size: 12pt;
	line-height: 12pt;
	color: Turquoise;
	font-weight:bold;
	white-space: nowrap;
	}
.example
	{
	background-color: #206072;
	font-size: 11pt;
	line-height: 11pt;
	}
.comment
	{
	color: #C0E0AF;
    font-family: "Courier New";
	}
	
b	{
	color: white;
	}	
	
ul
	{
	margin-bottom:0cm;
	}
li      {
    margin-bottom:8pt;
    }

.hdr_cont2
	{
		font-size: 90%;
		font-family: Times New Roman;
		text-align: center;
		text-shadow: 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua, 0 0 1px aqua;
	}
li.hdr_cont3
	{
		font-size: 80%;
		font-family: Times New Roman;
		text-align: left;
	}

.flag 
{
    width:100px; 
    height:48px; 
    background:#cf142b; 
    position:relative; 
    border:1px solid #000;
}

.flag div 
{
    overflow:hidden;
}

.topw 
{
    width:0; 
    height:0; 
    border-top:23px solid #fff; 
    border-left:46px dashed transparent; 
    border-right:46px dashed transparent;
}

.leftw 
{
    width:0; 
    height:0; 
    border-left:46px solid #fff; 
    border-top:23px dashed transparent; 
    border-bottom:23px dashed transparent; 
    position:absolute; 
    left:0; 
    bottom:0;
}

.rightw 
{
    width:0; 
    height:0; 
    border-right:46px solid #fff; 
    border-top:23px dashed transparent; 
    border-bottom:23px dashed transparent; 
    position:absolute; 
    right:0; 
    top:0;
}

.bottomw 
{
    width:0; 
    height:0; 
    border-bottom:23px solid #fff; 
    border-left:46px dashed transparent; 
    border-right:46px dashed transparent; 
    position:absolute; 
    bottom:0; 
    right:0;
}

.topb 
{
    width:0; 
    height:0; 
    border-top:19px solid #00247d; 
    border-left:38px dashed transparent; 
    border-right:38px dashed transparent; 
    position:absolute; 
    top:0; 
    left:11px;
}

.leftb 
{
    width:0; 
    height:0; 
    border-left:38px solid #00247d; 
    border-top:19px dashed transparent; 
    border-bottom:19px dashed transparent; 
    position:absolute; 
    left:0; 
    top:5px;
}

.rightb 
{
    width:0; 
    height:0; 
    border-right:38px solid #00247d; 
    border-top:19px dashed transparent; 
    border-bottom:19px dashed transparent; 
    position:absolute; right:0; top:5px;
}

.bottomb 
{
    width:0; 
    height:0; 
    border-bottom:19px solid #00247d; 
    border-left:38px dashed transparent; 
    border-right:38px dashed transparent; 
    position:absolute; 
    bottom:0; 
    left:11px;
}

.horizontal 
{
    width:100px; 
    height:10px; 
    border-top:3px solid #fff; 
    border-bottom:3px solid #fff; 
    background:#cf142b; 
    position:absolute; left:0; 
    top:16px;
}

.vert 
{
    width:19px; 
    height:19px; 
    border-left:3px solid #fff; 
    border-right:3px solid #fff; 
    background:#cf142b; 
    position:absolute;
    left:40px;
}

.vtop 
{
    top:0;
}

.vbottom 
{
    bottom:0;
    height:21px;
}

