/*
 * Note and hint Styles
 */
 
.note {
	border: red thin solid;
	width: 70%;
	margin: 10px 0px 10px 30px;
	padding: 5px;
}

.hint {
	border: blue thin solid;
	width: 70%;
	margin: 10px 0px 10px 30px;
	padding: 5px;
}

.cpp {
	background-color: #F5DEB3;
}

/*
 * Table Header cell styles
 */
 
th
{
	font-weight: bold;
	text-align: center;
	background-color: #CCCC99;
	font-family: sans-serif;
}

/*
 * Code styles
 */
 
code
{
	font-family: monospace;
	font-weight: bold;
	font-size: inherit;
}

cite
{
	font-style: oblique;
	background-color: #F0E68C;
}

div.quote
{
    font-style: oblique;
    background-color: #F0E68C;
}

/*
 * Definition List Styles
 */
 
dl dl { margin-left: 20px }

dt {
	font-family: monospace;
	color: maroon;
	font-weight: bold;
	margin-left: 20px;
	margin-top: 10px;
}

dl dd dl {
  font-size: smaller;
  margin-top: 0;
}

dl dd dl dd dl {
  margin-top: 0;
}