body { 
	margin:0;
	padding: 0;
	color: black;
	font-family: "Times New Roman", Times, Palatino, serif;
	font-size: 11pt;
}

p { 
	line-height: 1.2em;
}

p.hoved {
   font-weight: bold;
}

p.tabelskitse {
	font-weight: 900; 
	font-size: large; 
	margin-left: 125px; 
	font-family: courier new, courier;
}

.tekstkode {
	font-weight: 900; 
	font-size: large; 
	color: blue; 
	font-family: courier new, courier;
}

h1, h2, h3, h4, h5, p, pre, table, div, li, dt  { 
	margin-right: 0%;
	margin-left: 0%;
	padding: 0;
}

h1, h2, h3, h4, h5 { 
	margin-top: 1.25em;
	margin-bottom: -0.5em;
}

h1 { 
	font-size: 140%;
	font-variant: small-caps;
}

h2 {
	font-size: 120%;
}

h3 { 
	font-size: 110%;
}

h4 { 
	font-size: 100%;
}

li li  { 
	margin-left: 0;
	margin-right: 0;
	padding: 0;
}

dd  { 
	margin-left: 0%;
}


table {
   border: solid #006;
   border-width: 2px 0;
   font-size: 90%;
   margin-bottom: 1.5em;
   width: 90%;
}

table.neutral {
   border: none;
   font-size: 90%;
   margin: 0px;
   width: auto;
}

table.border {
   border: 0px solid #006;
   background-color: #efefef;
   font-size: 80%;
   margin: 0px;
   width: auto;
	margin-right: 0%;
	margin-left: 0%;
}


table.default th {
   color: #006;
   border-bottom: 1px solid #006;
   text-align: left;
}

table.default th, td {
   padding: 0.125em 0.66em;
   vertical-align: top;
   text-align: left;
}

table.border th, table.border td {
   border: 1px solid #006;
   padding: 0.2em;
}   
   
td.neutral {
   padding: 0px;
   vertical-align: top; 
   text-align: left;
}


.tableheader { 
	margin-top: 2.25em;
	margin-bottom: 0.25em;
 }

div#masterhead {
	margin: 0 0 2.5em 0; 
	padding: 2em 0 1.5em 0;
	border: 1px solid #006;
	border-width: 0 1px 1px 0;
	background: #FF7700;
}

.footer {
   font-size: 70%;
   text-align: center;
}

h1#header {
	font-size: 90%;
	font-variant: small-caps;
	font-weight: normal;
	border-bottom: 1px solid black;
	margin: 0.5em 0 0.5em 0;
	padding: 0 0 0.125em 5%;
}

h1#head {
	font-size: 300%;
	font-variant: small-caps;
	margin: 0.5em 0 0.5em 0%;
}

h2#header2 {
	font-size: 200%;
	font-variant: small-caps;
	margin: 0.5em 0 0.5em 0%;
}

p.def {
	margin-right: 5%;
	margin-left: 5%;
	padding: 1em;
	font-weight: 800; 
  	font-size: 12pt; 
  	color: navy; 
	letter-spacing: 1px;
	background: #dfdfdf;
}


.kommentar  {
	color: #060606;
	font-weight: 400; 
   font-size: 100%;
}

pre strong, code strong, .kode strong { 
	color: #cc0000;
   font-weight: 800; 
 }

code, .kode {
	font-weight: bold;
   font-size: 80%; 
   font-style: normal;
	font-family: "courier new", courier, monospace; 
	background: #ffffcc;
}

p.kode {
	font-weight: bold;
   font-style: normal;
	font-family: "courier new", courier, monospace; 
	padding : 12px;
	background: #ffffcc;
	border: 1px solid #336;	
}

td.codeline_no {
   color: #aaa;
   text-align: right;
}

pre {
	color: #000000;
   font-weight: 800;
   font-style: normal;
   font-size: 110%;
	font-family: "courier new", courie, monospacer; 
	padding : 12px;
	background: #ffffcc;
}

span.keyword {
   font-size: 90%; 
	font-weight: bold;
	font-style: normal;
	font-family: "courier new", courier, monospace; 
}