/* CSS Document docs.php*/
button {
	height:17px;
	width:auto;
	font-size:9px;
	margin-left:3px;
	vertical-align: text-bottom;
}
em {
	font-weight: 600;
	text-decoration: underline; 
}
div.plot {
	margin:10px;
	width:250px;
	border: solid blue 2px;
}
div.caption {
	font-size: 12px;
	font-weight:500;
	width:240px;
	height: auto;
	padding: 5px;
	xborder: solid black 1px;
}
span.paragraph_header {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-weight:bold;
}
td.vline {
	border-left:dotted gray 1px;
}
#fileformat {
	margin-left:10px;
	font-family:"Courier New", Courier, mono;
	font-size:12px;
}