tt {
	color: green;
}

code
{
	color: green;
}

.info {
	font-weight: bold;
	color: green;
}

.BIG {
	font-weight: bold;
	color: brown;
	font-size: x-large;
}


/*************** table stuff ******************/

th {
/*	font-family: "Times New Roman", Times, serif; */
	font-weight: bold;
	text-align: center;
	padding-bottom: 5px;
}
td {
/*	font-family: Arial, Helvetica, sans-serif; */
/*	text-align: left; */
     /* it seems align="center" does not override this!? */
/*	font-weight: bold; */
/*	font-size: smaller; */
	padding-left: 10px;
	padding-top: 4px;
	padding-bottom: 4px;
}


/*************** colors ******************/

.red
	{
	    color: red;
	}

.magenta
	{
	    color: magenta;
	}

/*************** lists ******************/


dt {
	font-weight: bold;
	padding-left: 20px;
	padding-top: 14px;
	padding-bottom: 4px;
}


li {
/*	font-family: "Times New Roman", Times, serif; */
/*	font-size: x-small; */
/*	font-style: italic; */
/*	font-weight: bold; */
/*	margin: 2px; */
	padding-top: 4px;
	padding-bottom: 4px;
}


/*************** explanation ******************/

.explanation {
    color: blue;
//    font-size: smaller;
    margin-left: 20px;
    padding-left: 20px;
//    width: 80%;
//    text-align: justify;
}

/*************** redadditions ******************/
.radditions
   {
   color: red;
   }

/*************** veryimportant ******************/
.veryimportant
   {
   color: red;
/* find a better color; could be purple, magenta */
   }

/*************** veryemphatic ******************/
/*  meant to be used only temporarily  */
.veryemphatic
   {
   color: red;
/* find a better color; could be purple, magenta */
   font-weight: bold;
   font-size: larger;
   }


/*************** comments ******************/

/** Mathematica **/
.mathcomment
   {
   color: red;
   }

/** Matlab **/
.matlcomment
   {
   color: red;
   }



/**************** alignment ********************/


.fixed-bottom-left {
    /*	margin: 2px; */
    /* text-align: right; */
    /* margin-left: 10px; */
    position: fixed;
    left: 10px;
    bottom: 10px;
    /* width: 20%; */
    padding-left: 0%;
    padding-right: 0%;
    padding-top: 0px;
    padding-bottom: 0px;
    border: 3px solid magenta;
    border-style: dotted;
    color: red;
}