@import url('mainstylev2.css');

body{
background-color: white;
color: black;
}



/* ######### DevView section ######### */


p#pathlinks{
font-size: 120%;
margin-left: 0;
}

div.devcode{
	margin: 10px;
	font-family: monospace;
	line-height: 17px;
	width: 100%;
	overflow-x: auto;
}