/* html.css - Style Definitions - 2008.12.02 - copied from mperl */

body {
 background-image:url('cldsh.jpg');
 margin: 0.5cm 1cm;
 }

h1{
 background:#efefef;
 border-style: solid solid solid solid;
 border-color:#d9e2e2;
 border-width:1px;
 padding:2px 2px 2px 2px;
 font-size:200%;
 text-align:center;
}

h2 { font-size: 12pt; font-weight: bold; background-color: #CCCCFF }

h3 {
margin-top:12.0pt;
margin-right:0cm;
margin-bottom:3.0pt;
margin-left:0cm;
page-break-after:avoid;
font-size:13.0pt;
font-family:Arial;
}


hr {
margin : 0;
border-style : none;
padding : 0;
width : 40%;
text-align : center;
}

/* hr { margin: 0px 0px 0px 0px; border-style: none; padding: 0px 0px 0px 0px; } */
p.top { margin: 0; border-style: none; padding: 0; text-align: center; }

p.nom {
margin:0cm;
margin-bottom:.0001pt;
color: red;
}

.nmb {
margin-bottom : 0;
border-style : none;
padding : 0;
}

.nmt {
margin-top : 0;
border-style : none;
padding : 0;
}

.nob {
padding:0;
margin:0;
border-style:none;
padding:0;
}


p.code {
margin-top:0cm;
margin-bottom:.0001pt;
margin-left:0.5cm;
margin-right:0.5cm;
font-size:10.0pt;
font-family:"Courier New";
}

.bld { font-weight: bold; }
.ctr { text-align : center; }
.cn { font-family:"Courier New"; }
.red { color:red; }
.blue { color:blue; }
.green { color:#006600 }
.brown { color:brown }

.a { color:red; }
.b { color:#006666; }
.c { color:blue; }
.d { color:brown; }
.e { color:#9400d3; }
.f { color:#666666; }
.o { color:#008b8b; }
.v { color:#a52a2a; }
.t { color:#006600; }

.cd {
  /* top, right, bottom, left */
  padding: 0px 10px 0px 10px;
  margin: 1px 10px 1px 10px;
  background: #f0f8ff;
  border-width: 1px;
  border-style: solid solid solid solid;
  border-color: #cccccc;
  width: 90%;
  font-family:"Courier New";
}

.dos {
  /* top, right, bottom, left */
  padding: 0px 10px 0px 10px;
  margin: 1px 10px 1px 10px;
  background: #2f2f2f;
  color: #ffffff;
  border-width: 1px;
  border-style: solid solid solid solid;
  border-color: #cccccc;
  width: 90%;
  font-family:"Courier New";
}

.out {
  margin-left: 10px;
  margin-top: 0px;
  background: #eeeedd;
  color: #000000;
  border-width: 1px;
  border-style: solid solid solid solid;
  border-color: #ccc;
  width: 90%;
  padding: 0px 10px 0px 10px;
}

/* perl code colouring
Note: Only 16 color names are supported by the W3C HTML 4.0 standard 
(aqua, black, blue, fuchsia, gray, green, lime, maroon, navy, olive, 
purple, red, silver, teal, white, and yellow).
For all other colors you should use the Color HEX value.
*/
.rw { color: #0000cd } /* reserved words */
.bif { color: #ff0000 } /* built-in functions */
.sca { color: #9400d3 } /* scalar variables */
.arr { color: #008b8b } /* array variables */
.has { color: #a52a2a } /* hash variables */
.com { color: #008000 } /* comments after # */
.qot { color: #009900 } /* quoted items */

.small {
  font-size: x-small;
}

.programlisting {
  padding-top: 0.8em;
  padding-left: 0.8em;
  background-color: #ffffe0;
}

.mts { border-color: #ff1111; }
.redb  { color: #FF0000; font-family: Arial; font-weight: bold }

/* eof - html.css */