@import url("pygments.css");

#header { display: none; }
#sidebar { display: none; }

body,h1,h2,h3,h4,h5,h6,p,ul,ol,dl,input,textarea { font-family: Helvetica, Arial, FreeSans, sans-serif; }
/* headings */
h1,h2,h3,h4,h5,h6 { font-weight: normal; color: #555; }
h2 { border-bottom: 1px solid #eee; }
h2:hover { border-bottom: 1px solid #ddd; }
h3 a { border: 0; color: #163F53; }
h3 a:hover { border: 0; color: #004477; }
h4 { font-size: 15px; }
h4 a { border: 0; }

/* text elements */
p,ul,ol,dl,span { font-weight: normal; color: #555; }
a { color: #004477; text-decoration: none; border-bottom: 1px solid #eee; }
a:hover { text-decoration: none; border-bottom: 1px solid #ddd; }
blockquote { border-left: 2px solid #ddd; }
pre, pre span { font-family: "Bitstream Vera Sans Mono", "Monaco", "Courier New", monospace; font-size: 9pt; font-weight: normal; }