@charset "utf-8";
/* CSS Document */

body { font-family: Georgia, "Times New Roman", Times, serif; "Times New Roman", Times, serif; }

.small { font-size: 12px; }
.large { font-size: 18px; }


.line_b { border-bottom-style: solid; border-bottom-width:1px; border-bottom-color: #DDDDDD; } 
.line_t { border-top-style: solid; border-top-width:1px; border-top-color: #DDDDDD; } 

a:link { color: #1667ac; }
a:visited { color: #5c16ac; }

.squeezed { margin: 2px; }

.red { color: #DD0000 }

.code_text { font-family: "Courier New", Courier, monospace; }