body { 
	margin:0;
	padding: 0;
	color: black;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11pt;
}

div {border-bottom-style:none }


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
}

.eksempel {
	background-color:#8AB9FF;
	padding: 10px;
	border: 1px solid #000;
	border-top-width: 0px;
}
.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: 5%;
	margin-left: 5%;
	padding: 0;
	font-family: Verdana, Geneva, sans-serif;
}

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

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

h2 {
	font-size: 140%;
}

h3 { 
	font-size: 120%;
}

h4 { 
	font-size: 100%;
}

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

dd  { 
	margin-left: 15%;
}

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

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: 5%;
   margin-left: 5%;
}


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;
 }

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

.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 5%;
}

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

p.def {
	margin-right: 15%;
	margin-left: 15%;
	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: 100%;
	font-style: normal;
	font-family: "courier new", courier, monospace;
	border: 1px solid #336;
	padding-left: 12px;
	background-color: #FFC;
}

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: 110%; 
	font-weight: bold;
	font-style: normal;
	font-family: "courier new", courier, monospace; 
}