p.blue_title { color: #0080ff; font-size: 120%; }
#blue_title { color: #0060ff; font-size: 120% }
#blue_subtitle { color: #0040ef; font-size: 120% }
p.mid_title { font-size: 140%; font-weight: bold; text-align : center}
p.main_title {color:maroon; font-size: 200%; font-weight: bold; text-align : center}
p.gloss_title { color: 009060; font-size: 120% }
blockquote.5em {padding-left: em}
blockquote.3em {padding-left: em}
img.middle {vertical-align: middle}
pre {background:antiquewhite}