1 <style type="text/css">
3 body { font-family: "Times New Roman", Times, serif; color: #000000; background-color: #FFFFFF; }
4 p { text-align: justify; }
5 tt, pre, code { font-family: Courier New, Courier, mono; background-color: #EDF3F7; padding: 1px; }
6 h1:not(.title) { margin-top: 2.25em; }
7 h2:not(.author) { margin-top: 2.0em; }
8 h3, h4 { margin-top: 1.75em; }
9 a { color: #0000BB; text-decoration: none; }
10 a:visited { color: #0000BB; text-decoration: none; }
11 a:active { color: #0000FF; text-decoration: none; }
12 a:hover { color: #0000FF; text-decoration: underline; }
13 figure { margin-left: 0em; margin-bottom: 1.66em; }
14 figcaption { font-size: 0.8em; font-weight: bold; }