p.one
{
	border-style: solid;
	border-color: red;
	font-family: Arial, Helvetica, Sans-Serif;
	font-size: 17px;
	font-weight: bold;
	color: Red;
	text-decoration: blink;
	padding: 0.20em 0.30em;
}
a.vacancy, a.vacancy:visited {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  color: red;
  text-decoration: none
}

a.vacancy:hover {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  color: red;
  text-decoration: underline;
}
div.research_groups
{
	 text-indent: 3em;
	 font-size:small;
}

table.research_wp {
	margin-left: 1em;
}

img.research_wp {
	padding-top: 0.50em;
}
.tekst_wp {
	padding-left: 0.50em;
	font-family: Arial, Helvetica, Sans-Serif;
	font-size: 12px;
	font-weight: bold;
}
.inpac_txt {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size:small;
}
.txt {
  font-family: Verdana, Arial, Helvetica, Sans-Serif;
  font-size:small;
}

/** patch to be able to resize in IE*/
.nieuwstitel {
  font-family: Arial, Helvetica, Sans-Serif; 
  font-size: x-small; 
  color: #FFF;
}

.nieuws {
  font-family: Verdana, Arial, Helvetica, Sans-Serif; 
  font-size: x-small;
}

pre {
  font-family: courier,fixed;
  font-size: 10px;
  font-style: normal
}

pre.vraag {
    font-family: Arial, Helvetica, sans-serif, Verdana;
    font-size: 12px;
    font-style: italic;
  }
  
pre, pre.code {
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
	
	white-space: pre;
	display: block;
	margin-left: 40px;
	padding: 7px;
	margin-right: 40px;
}