/* format1.css - color dependant stylesheet */

/**
 * darkblue -> #526E88
 * lightblue -> #96A5B3 (#B8C5D0 is brighter)
 */

a { text-decoration: none; color: #526E88; }
a:hover { text-decoration: none; color: #96A5B3; }

p.code {
	font-family: Monospaced;
	color: black;
	background: #B8C5D0;
	width: 80%;
	margin-left: auto;
	margin-right: auto;
	padding: 10px;
	border: 1px dashed #526E88; 
}

h1, h2, h3, h4, h5 {
	width: 100%;
	color: #526E88;
	border-bottom: 1px solid #526E88;
}

.title {
	width: 98%;
	margin: 0 0.2em;
	padding: 0.4em 0.2em 0.4em 0.2em;
	font-size: 200%; /* <h1> */
	font-weight: bold;
	color: #526E88;
	border-bottom: 1px solid #526E88;
}

.news {
	margin: 6px;
	border-left: 1px dashed #96A5B3;
	border-bottom: 1px dashed #96A5B3;
}

cite {
	color: #526E88;	
}

th {
	color: #526E88;
}