/* ========================================================================== */

/* -------------------- */
/* FRAW BASE STYLESHEET */
/* -------------------- */

/* page design styles */
body {
	background: dimgray;
	background-attachment: fixed;
	background-repeat: no-repeat;
	background-size: 100%;
	color: white;
}

div.content {
	width: 980px;
	margin: 2em auto 3em auto;
	padding: 1em 1.2em 1.4em 1.2em;
	background: white;
	font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
	font-size: 1.1em;
	color: black;
	text-align: left;
	line-height: 140%;
	border-style: solid;
	border-radius: 0.5em;
	border-color: black;
	border-width: 2px;
}
div.index {
	width: 980px;
	margin: 2em auto 3em auto;
	padding: 0em;
	background: transparent;
	font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
	font-size: 1.1em;
	color: white;
	line-height: 140%;
	border-style: none;
}
div.updated {
	float: right;
	margin: 0em 0em 0.5em 3em;
	padding: 0em;
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 0.8em;
	color: #003f00;
	text-align: right;
}


/* -------------------------------------------------------------------------- */

/* text browser navigation styles */
div.frawnav {
	margin: 3em auto 0em 0em;
	padding: 0em 1em 0.5em 1em;
	font-size: 0.05em;
	color: transparent;
	text-align: left;
	vertical-align: middle;
	border-style: none;
}
h5.frawnav {
	width: 0em;
	display: inline-block;
	margin: 0.25em 0em 0.25em 0em;
	padding: 0em;
	font-size: 0.1em;
	font-weight: normal;
}
h6.frawnav {
	width: 50px;
	display: inline-block;
	margin: 0.25em 0em 0.25em 0em;
	padding: 0em;
	font-size: 0.8em;
	font-weight: normal;
}
img.frawnav {
	margin: 0.25em 0em 0.25em 0em;
	padding: 0em;
	border-style: none;
}


/* -------------------------------------------------------------------------- */

/* blog posts index styles */
a.bloglink {
	color: navy;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: navy;
	border-width: 1px;
}
a:hover.bloglink {
	background: transparent;
	color: darkred;
	text-decoration: none;
	border-style: none none solid none;
	border-color: darkred;
	border-width: 1px;
}
a.bloglink_os {
	color: darkred;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: darkred;
	border-width: 1px;
}
a:hover.bloglink_os {
	background: transparent;
	color: purple;
	text-decoration: none;
	border-style: none none solid none;
	border-color: purple;
	border-width: 1px;
}
div.blogpost {
	overflow: auto;
	width: 95%;
	margin: 2em auto 1em 0em;
	padding: 0.5em 0.8em 0.4em 1em;
	background: transparent;
	font-size: 0.9em;
	color: black;
	text-align: left;
	line-height: 140%;
	border-style: dotted;
	border-radius: 0.6em;
	border-color: saddlebrown;
	border-width: 1px;
}
img.blogpost {
	float: right;
	margin: 0.3em 0em 0.5em 1em;
	border-style: solid;
	border-color: darkslategrey;
	border-width: 1px;
}
p.blogabstract {
	margin-top: 0em;
	margin-bottom: 0.2em;
	font-size: 1em;
	color: black;
}
p.blogextra {
	margin-top: 0em;
	margin-bottom: 0.4em;
	font-size: 0.85em;
	color: dimgrey;
}
p.blogdate {
	margin-top: 0em;
	margin-bottom: 0em;
	font-size: 0.95em;
	color: darkslategrey;
}
p.blogtitle {
	margin-top: 0em;
	margin-bottom: 0.2em;
	font-size: 1.2em;
	font-style: italic;
}


/* -------------------------------------------------------------------------- */

/* content formatting styles */
a {
	background: transparent;
	color: darkblue;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: darkblue;
	border-width: 1px;
}
a:hover {
	background: khaki;
	color: blue;
	border-style: none none solid none;
	border-color: blue;
}
a.bot {
	background: transparent;
	color: darkblue;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: darkblue;
	border-width: 1px;
}
a:hover.bot {
	background: gold;
	color: navy;
	border-style: none none solid none;
	border-color: gold;
}
a.mid {
	background: transparent;
	color: darkred;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: darkred;
	border-width: 1px;
}
a:hover.mid {
	background: yellow;
	color: blue;
	border-style: none none solid none;
	border-color: blue;
}
a.none {
	background: transparent;
	text-decoration: none;
	border-style: none;
}
a:hover.none {
	background: transparent;
	text-decoration: none;
	border-style: none;
}
a.os {
	background: transparent;
	color: #003f00;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: #003f00;
	border-width: 1px;
}
a:hover.os {
	background: aliceblue;
	color: darkred;
	border-style: none none solid none;
	border-color: darkred;
}
a.reflink {
	background: transparent;
	font-family: "Lucida Console", Monaco, monospace;
	color: #3f0000;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: #3f0000;
	border-width: 1px;
}
a:hover.reflink {
	background: lavender;
	font-family: "Lucida Console", Monaco, monospace;
	color: crimson;
	border-style: none none solid none;
	border-color: crimson;
}

a.self {
	padding: 0.1em 0.4em 0.1em 0.4em;
	background: khaki;
	color: firebrick;
	text-decoration: underline;
	text-decoration-style: dotted;
	text-decoration-line: firebrick;
	border-style: dotted;
	border-radius: 0.6em;
	border-color: firebrick;
	border-width: 1px;
}
a:hover.self {
	background: yellow;
	color: navy;
	text-decoration-style: solid;
	text-decoration-line: navy;
	border-style: solid;
	border-color: navy;
}
a.self_select {
	padding: 0.1em 0.4em 0.1em 0.4em;
	background: mintcream;
	color: saddlebrown;
	text-decoration: none;
	border-style: solid;
	border-radius: 0.6em;
	border-color: saddlebrown;
	border-width: 1px;
}
a.top {
	background: transparent;
	color: saddlebrown;
	text-decoration: none;
	border-style: none none dotted none;
	border-color: saddlebrown;
	border-width: 1px;
}
a:hover.top {
	background: lemonchiffon;
	color: purple;
	border-style: none none solid none;
	border-color: purple;
}
dd {
	margin-left: 1.5em;
	font-size: 0.8em;
	font-style: italic;
}
div {
}
div.left {
	float: left;
	margin: 0em 3em 1.5em 0em;
	padding: 0em;
	text-align: left;
	font-size: 0.85em;
	color: saddlebrown;
	line-height: 133%;
	border-style: none;
}
div.right {
	float: right;
	margin: 0em 0em 1.5em 3em;
	padding: 0em;
	text-align: right;
	font-size: 0.85em;
	color: saddlebrown;
	line-height: 133%;
	border-style: none;
}
div.quote_left {
	float: left;
	margin: 0em 3em 1.5em 0em;
	padding: 0em;
	text-align: left;
	color: darkslategrey;
	line-height: 133%;
	border-style: none;
	font-size: 1.4em;
	font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
	font-style: italic;
}
div.quote_right {
	float: right;
	margin: 0em 0em 1.5em 3em;
	padding: 0em;
	text-align: right;
	color: darkslategrey;
	line-height: 133%;
	border-style: none;
	font-size: 1.4em;
	font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
	font-style: italic;
}

dl {
	margin-top: 0em;
	line-height: 133%;
}
dl.bot {
	font-size: 0.9e5m;
	line-height: 130%;
	color: #1f1f2f;
}
dl.mid {
	font-size: 1em;
	line-height: 135%;
	color: indigo;
}
dl.top {
	font-size: 1.2em;
	line-height: 140%;
	color: #003f00;
}
dt {
	margin-top: 0.6em;
	font-size: 0.95em;
}
dt.bot {
	margin-top: 0.6em;
	font-size: 0.9em;
}
dt.mid {
	margin-top: 1em;
	font-size: 1em;
}
dt.top {
	margin-top: 1.8em;
	font-size: 1.1em;
}
em.borderline, span.borderline {
	border-style: none none solid none;
	border-width: 2px;
}
em.quote, span.quote {
	font-size: 1.1em;
	font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
}
em.ul, span.ul {
	text-decoration: underline;
}
h1 {
	margin-top: 0em;
	margin-bottom: 0.5em;
	font-size: 2.5em;
	font-weight: normal;
	line-height: 130%;
	color: darkgreen;
}
h2 {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	font-size: 1.8em;
	font-weight: normal;
	line-height: 130%;
	color: darkred;
}
h3 {
	margin-top: 2.5em;
	margin-bottom: 0.5em;
	font-size: 1.5em;
	font-weight: normal;
	line-height: 130%;
	color: saddlebrown;
}
h4 {
	margin-top: 1.6em;
	margin-bottom: 0.25em;
	font-size: 1.25em;
	font-weight: normal;
	line-height: 130%;
	color: navy;
}
hr {
	margin-top: 3em;
	margin-bottom: 2em;
	border-style: dotted;
	border-width: 1px;
	border-color: saddlebrown;
}
img.border {
	margin: 0.5em;
	border-style: solid;
	border-color: darkgreen;
	border-width: 1px;
}
img.icon {
	width: 40px;
	height: 40px;
	float: left;
	margin: 0.5em 3em 1em 0em;
	border-style: none;
}
img.left {
	float: left;
	margin: 0.5em 3em 1em 0em;
	border-style: solid;
	border-color: darkgreen;
	border-width: 1px;
}
img.left_none {
	float: left;
	margin: 0.5em 3em 1em 0em;
	border-style: none;
}
img.none {
	margin: 0.25em;
	padding: 0.25em;
	vertical-align: middle;
	border-style: none;
}
img.right {
	float: right;
	margin: 0.5em 0em 1em 3em;
	border-style: solid;
	border-color: darkgreen;
	border-width: 1px;
}
img.right_none {
	float: right;
	margin: 0.5em 0em 1em 3em;
	border-style: none;
}
li.none {
	margin-top: 0em;
}
li.pack {
	margin-top: 0.4em;
}
li.pad {
	margin-top: 1em;
}
li.ref {
	margin-top: 0em;
	margin-bottom: 0.75em;
}
li.space {
	margin-top: 1.5em;
}
ol {
	margin-top: 0em;
	line-height: 133%;
}
ol.refs {
	font-size: 0.9em;
	line-height: 140%;
}
ol.small {
	font-size: 0.9em;
	line-height: 140%;
}
p {
	line-height: 130%;
}
p.coda {
	margin-top: 1.5em;
	margin-bottom: 2em;
	font-size: 1.15em;
	color: darkred;
	font-weight: normal;
}
p.intro {
	margin-top: 1.5em;
	margin-bottom: 2em;
	font-size: 1.35em;
	color: darkred;
	font-weight: normal;
}
p.large {
	font-size: 1.15em;
	line-height: 140%;
}
p.mini {
	font-size: 0.8em;
	line-height: 140%;
}
p.mono {
	font-family: "Lucida Console", Monaco, monospace;
	line-height: 130%;
}
p.quote {
	margin-top: -0.4em;
	margin-left: 1em;
	margin-right: 1em;
	font-family: "Palatino Linotype", "Book Antiqua", Palatino, serif;
	font-size: 1.1em;
	line-height: 130%;
}
p.quotesrc {
	margin-top: -0.8em;
	margin-bottom: 2.5em;
	font-size: 0.8em;
	color: #3f3f3f;
	text-align: right;
	line-height: 130%;
}
p.small {
	font-size: 0.9em;
	line-height: 140%;
}
span.large {
	font-size: 1.15em;
}
span.mini {
	font-size: 0.8em;
}
span.mono {
	font-family: "Lucida Console", Monaco, monospace;
}
span.native {
	font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
}
span.reftitle {
	color: mediumblue;
}
span.small {
	font-size: 0.9em;
}
span.url {
	font-family: "Lucida Console", Monaco, monospace;
	font-size: 0.8em;
}
sub {
	font-size: 0.67em;
}
sup {
	font-size: 0.67em;
}
sup.ref {
	font-size: 0.67em;
	color: #3f0000;
}
ul {
	margin-top: 0em;
	line-height: 133%;
}
ul.large {
	font-size: 1.15em;
	line-height: 140%;
}
ul.small {
	font-size: 0.9em;
	line-height: 140%;
}


/* -------------------------------------------------------------------------- */

/* END OF STYLESHEET */

/* ========================================================================== */