@charset "UTF-8";

dl { margin: 1em 0; padding: 0; }
dt { font-weight: bold; font-size: 120%; color: navy; margin: 2em 0 1em; padding: 0; }
dd { margin: 0 0 0 2em; }
p { margin: 0; padding: 0; text-indent: 1em; }
p.pp { margin-top: 1.5em; }
p.kajo { margin-left: 1.4em; text-indent: -1.4em; }
p.noin { text-indent: 0; }
em { font-style: normal; font-weight: bold; }
blockquote { background-color: white; margin: 0.5em 0; padding: 0.5em; border: 2px white outset; }
span.upd { color: purple; }