/****************************************

          notation
		  
*****************************************/

#notation div { padding-bottom:5px; }

#notation h2 {
    border-bottom: 1px dotted #bbb;
    font-size: font-size: 15px; font-size: 1.5rem;
    font-weight: normal;
    margin: 30px 0 20px;
    padding-bottom: 20px;
}

#notation h3 {
    font-size: font-size: 12px; font-size: 1.2rem;
	margin-bottom: 10px;
}
#notation p {
	margin-bottom: 20px;
}
#notation dt {
    margin-bottom: 5px;
	font-weight:bold;
}

#notation dd {
    line-height: 1.6em;
    margin-bottom: 20px;
}