/* Stylesheet developed by A. Hornof on 12-14-07 */

/* Evidently color 463c3c is RGB 70, 60, 60 according to  www.yellowpipe.com/yis/tools/hex-to-rgb/color converter.php*/

body
{
background-color: #ffffff;
margin: 5px;
color: rgb(0, 0, 0); /* previously 70, 60, 60 */
font-family: 'ArialMT', 'Arial', sans-serif;
font-size: 15px;
line-height: 20px;
}



/* The big title */
h1
{
color: #969696;
font-size: 36px;
line-height: 36px;
margin-top: 0px;
margin-bottom: 0px;
}

/* Headings on Publications page  */
h3
{
font-size: 20px;
line-height: 28px;
margin-top: 8px;  /* was 4 */
margin-bottom: 4px;
}

/* Headings on CIS 410/510 home page  */
h4
{
margin-top: 5px;  /* was 4 */
margin-bottom: 10px;
}


/* Top menu */
.menu
{
color: #666666;	/* to color the dashes */
font-size: 20px;
line-height: 28px;
margin-top: 0px;
margin-bottom: 0px;
}

a {
color: #666666;
}

p {
margin-top: 0px;
margin-bottom: 15px;
}


a:hover {
color: #000000;
}


/* horizontal rule */
hr {
border: 0;
color: #000000;				/* evidently for IE, according to http://www.sovavsiti.cz/css/hr.html */
background-color: #000000;	/* evidently for Opera and Mozilla */
height: 1px;
}