/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }

/* implement both fixed-size and relative sizes */
SMALL.XTINY		{ font-size : xx-small }
SMALL.TINY		{ font-size : x-small  }
SMALL.SCRIPTSIZE	{ font-size : smaller  }
SMALL.FOOTNOTESIZE	{ font-size : small    }
SMALL.SMALL		{  }
BIG.LARGE		{  }
BIG.XLARGE		{ font-size : large    }
BIG.XXLARGE		{ font-size : x-large  }
BIG.HUGE		{ font-size : larger   }
BIG.XHUGE		{ font-size : xx-large }

/* heading styles */
H1		{ font-size: 18px;; font-family: arial, sans-serif; color: black; }
H2		{ font-size: 14px; font-family: arial, sans-serif; color: black; }
H3		{  }
H4		{  }
H5		{  }

/* mathematics styles */
DIV.displaymath		{ }	/* math displays */
TD.eqno			{ }	/* equation-number cells */


/* document-specific styles come next */
DIV.navigation		{   }
DIV.center		{   }
SPAN.Roman		{   }
SPAN.textit		{ font-style: italic  }
SPAN.arabic		{   }
#hue294		{ color: #00ff00;  }
#hue299		{ color: #000000;  }
#hue308		{ color: #ff0000;  }
#hue313		{ color: #000000;  }


body {
    font-family: arial, vera, verdana, helvetica, sans-serif;
    font-size: 12px;
    padding: 0 1em;
	color: #4c4c4c;
}

img {
    border: 1px solid #756b3b;
    margin: 10px;
}

img.icon {
    border: 0;
    margin: 0 0 -3px 5px;
}

a {
    text-decoration: none;
	color: #756b3b;
}

a:hover {
    text-decoration: underline;
	color: #756b3b;
}

a:visited 
{
color: #756b3b;
}

hr {
	border: 1px #756b3b solid;
}

.tip {
    width: 50%;
    border: 3px solid green;
//    margin-left: auto;
//    margin-right: auto;
    padding: 5px 5px 5px 40px;
    background-image: url(tip.png);
    background-repeat: no-repeat;
    background-position: 5px 5px;
}

.warning {
    width: 50%;
    border: 3px solid red;
//    margin-left: auto;
//    margin-right: auto;
    padding: 5px 5px 5px 40px;
    background-image: url(warning.png);
    background-repeat: no-repeat;
    background-position: 5px 5px;
}

.listing { 
    padding: 0 3em;
    font-size: small;
}

.translator { 
//        float: right;
}              

.translator li { 
        display: inline;
}                 

.manulink { 
	vertical-align: bottom;
	margin: 0;
}