/* CSS for the articles */

body {
  font: 14px Verdana, Arial, Helvetica, sans-serif;
  color: #000000;
  background-color: #F8F8F8;
	margin: 10px;
}

/* links */
a {  
  text-decoration: none; 
  font: 12px Verdana, Arial, Helvetica, sans-serif; 
  color: #0000CC
}
a:active { color: #000099; }
a:hover { color: #000099; 
				  background: #cccccc;}

/* headings */
h3 {
font-weight: bold;
font-size: 14px;
margin: 1em 0;
}

h2 {
font-weight: bold;
font-size: 18px;
margin: 1em 0;
}

h1 {
font-size: 20px;
font-weight: bold;
text-align: center;
margin: 1.5em 0;
}

.author {
font-style: normal;
font-weight: bold;
font-size: 14px;
text-align: center;
}

/* code properties - generic & comments */
.code {
font: bold 14px/1.2 "Courier New", Courier, monospace;
white-space:pre;
}

.comment { color: #009900; }
.preproc { color: #0000CC; }
.fadedcode { color: #999999; }

/*
.pseudocode {
background-color: #e8e8e8;
border: 1px black solid;
margin-left: 2em;
margin-right: 2em;
margin-top: 1em;
margin-bottom: 1em;
color: black;
padding-top: 6px;
padding-left: 15px;
padding-bottom: 6px;
padding-right: 2px;
font-size: 0.9em;
width: 620px;
}

.copyright {
font-family: Verdana, sans-serif;
font-size: 0.8em;
color: black;
margin: 2px;
}*/