/* Presentation, A Hacker's Approach ($Revision$) */
p#headertext {
	font-size: 150%;
	font-style: bold;
}
p#headerimg {}

/* link styles */
/* permalink */
.permalink a:link {
	color: black;
        background: transparent;
        text-decoration: none;
}
.permalink a:active {
	color: black;
        background: transparent;
        text-decoration: none;
}
.permalink a:visited {
	color: black;
        background: transparent;
        text-decoration: none;
}
.permalink a:hover {
	color: black;
        background: transparent;
        text-decoration: none;
}

/* hidden link */
.hidden a:link {
	color: black;
        background: transparent;
        text-decoration: none;
}
.hidden a:active {
	color: black;
        background: transparent;
        text-decoration: none;
}
.hidden a:visited {
	color: black;
        background: transparent;
        text-decoration: none;
}
.hidden a:hover {
	color: black;
        background: transparent;
        text-decoration: none;
}

/* default */
a:link {
        background: transparent;
        text-decoration: underline;
}
a:active {
        background: transparent;
        text-decoration: underline;
}
a:visited {
        background: transparent;
        text-decoration: underline;
}
a:hover {
        background: transparent;
        text-decoration: underline;
}

div.box {
	border: 1px solid gray;
}
img {
	border: 0px none;
}
.blink { /* The blink tag is dead! Long live the blink tag! */
	text-decoration: blink;
}
#noborder {
	border: 0px none;
}
#quicklinks {
	max-width: 1500px;
	margin: 0;
	padding: 0;
	border-bottom: 1px solid #003362;
	border-top: 1px solid #003362;
}
#hotlink {
	font-family: "Helvetica Neue", Verdana, Helvetica, sans-serif;
	font-size: smaller;
	font-weight: lighter;
	text-indent: 1em;
	white-space: nowrap;
}
code pre {
font-family: Monaco, "Andale Mono", monospace;
font-size: smaller;
}
blockquote {
	font-size: smaller;
}
strong { font-weight: bold; }
em { font-style: italic }
q { quotes: "\201C" "\201D" "\2018" "\2019" } 
q:before { content: "\201C" }
q:after  { content: "\201D" }
h1,h2,h3,h4,h5,h6 {
	font-family: "Helvetica Neue", Verdana, Helvetica, sans-serif;
}
body {
	font-family: "Times New Roman", serif;
}

h1 { font-size: 125%; }
h2.blog { font-size: 115%; }
h3 { font-size: 110%; }
h4 { font-size: 100%; }
h5 { font-size: 90%; }
h6 { font-size: 80%; }