/* Style www.lucasdejong.nl */


body {
  padding: 2em 70px 2em 70px;
  margin: 0;
  font-family: verdana;
  font-size: 12px;
  color: darkgreen;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none } /* no border on img links */

a img { color: white; }        /* trick to hide the border in Netscape 4 */
@media all {                   /* hide the next rule from Netscape 4 */
  a img { color: inherit; }    /* undo the color change above */
}

h1, h2, h3, h4, h5, h6 { text-align: left }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3 { color: blue; background: white }
h1 { font: 115%; }
h2 { font-size: 14px; font-family: verdana;}
h3 { font-size: 12px; font-family: verdana; }
h4 { font: bold 100%; }
h5 { font: italic 100%; }
h6 { font: small-caps 100%; }

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

p.copyright { font-size: small }
p.copyright small { font-size: small }

table {border-width : 1px ;
	 border-padding : 2px;
	 border-spacing : 2px;
	 border-style : solid;
	 border-color : powderblue; }

th, td { /* ns 4 */
  font-family: verdana;
}
th { font-size: 14px; font-family: verdana; text-align: left};


@media screen {  /* hide from IE3 */
a[href]:hover { background: #ffa }
}
span.big { font-size: 12px; font-family: verdana; }

pre { margin-left: 2em }
/*
p {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
  font-size : 12px
  font-family : verdana;
  color: blue;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

pre, code { font-family: monospace } /* navigator 4 requires this */

ul.toc {
  list-style: disc;		/* Mac NS has problem with 'none' */
  list-style: none;
}




body {
}