/*  
 Brighthouse Typo theme version 1.2.2
 (c) 2006 Richard White <rrwhite@gmail.com>
 
 The Brighthouse Typo theme is freely distributable under the terms of an MIT-style license.
 
 For details, see the web site: http://www.height1percent.com/pages/brighthouse/
*/
/* global
----------------------------------------------- */

div, p, form, h1, h2, h3, h4, h5, h6 {
margin: 0;
padding: 0;
}

body {
margin: 0;
padding: 0;
font-size: 12px;
font-family: Arial, Helvetica, sans-serif;
text-align: center;
min-width: 760px;
background: #eeeeee ;
font-family: Helvetica, Arial, sans-serif;
/* force footer to stick at bottom */
height: 100%;
}

html {
/* force footer to stick at bottom */
height: 100%;

}


/* layout
----------------------------------------------- */
#wrapper {
margin: 0 auto;
width: 760px;
text-align: left;
position: relative;
min-height: 100%;
}

#blog-header {	
text-align: center;
padding-bottom: 10px;
}

#blog-header h1 {
	font-size: 36px;
	line-height: 36px;
}

#main-wrapper {
position: relative;
width: 760px;
}

#main-content {
float: left;
margin: 0 0 10px 0;
padding: 0;
width: 530px;
}

#admin-content {
float: left;
margin: 0 0 10px 0;
padding: 0;
width: 530px;
}

#sidebar {
padding: 0px 11px 0 10px;
position: absolute;
right: 0;
top: 0;
margin: 0 0 10px 0;
width: 200px;
background-color: #eeeeee;
}

.summary {
margin: 0;
padding: 0px 0px 0px 0px;
border: 3px solid #aabbff;
}

.post {
margin: 0;
padding: 0px 0px 0px 0px;
}



/* footer
----------------------------------------------- */

#footer-wrapper {
clear: both;
/* stick at bottom */
margin: -20px auto 0 auto;
height: 10px;
width: 760px;
position: relative;
}

* html #wrapper {
height: 100%;
padding-bottom: 20px;
}

* html #footer-wrapper {
margin-top: 0;
}

#footer {
border-top: solid 1px #cccccc;
clear: both;
margin: 0 230px 0 0;
padding: 0;
font-size: 12px;
font-family: Arial, Helvetica, sans-serif;
}

* html #footer {
height: 1%;
}

#footer p {
clear: both;
float: left;
padding: 2px 4px;
color: #999999;

}

#footer a {
font-weight: bold;
color: #777777;
}


/* Search
----------------------------------------------- */

#search-wrapper {
position: absolute;
top: 20px;
right: 10px;
z-index: 3;
width: 200px;
}

#search_spinner {
vertical-align: bottom;
margin-bottom: 3px;
}

#search {
padding: 0 5px 4px 0;
}

#search-results p {
font-size: 12px;
color: #666;
}

#search-wrapper label {
display: block;
color: #666;
font-size: 11px;
text-transform: uppercase;
}

#search-wrapper input {
width: 170px;
font-size: 14px;
font-weight: bold;
color: #333;
font-family: Arial;
border: solid 1px #aaa;
}

#search-results {
opacity: 0.85;
}

* html #search-results {
filter: alpha(opacity=85);
}

#search-results a.close {
float: right;
background: url(/www/images/close.png) top left no-repeat;
width: 13px;
height: 13px;
display: block;
cursor: pointer;
margin: 2px 4px 0 0;
}

* html #search-results a.close {
margin-right: 2px;
}

#search-results p {
background: url(/www/images/search-top.gif) top left no-repeat;
padding: 5px 15px 0 5px;
}

#search-results em {
background: none;
}

#search-results li {
line-height: 12px;
background: url(/www/images/search-background.gif) top left repeat-y; 
}

#search-results li.no-results-message {
padding-left: 10px;
font-size: 10px;
font-family: verdana, sans-serif;
color: #999;
}

#search-results li a {
display: block;
color: #05a;
font-family: verdana, sans-serif;
font-size: 10px;
background: url(/www/images/bullet_blue.gif) 1px 0 no-repeat;
padding: 1px 2px 1px 18px;
}

#search-results li a:hover {
color: #05a;
background: #ff8 url(/www/images/bullet_blue.gif) 1px 0 no-repeat;
}

#search-results ul {
list-style: none;
margin: 0;
padding: 0;
}

* html #search-results ul { 
height: 1%;
}

#search-results-content {
padding-bottom: 5px;
background: url(/www/images/search-bottom.gif) bottom left no-repeat;
}

/* headings
----------------------------------------------- */

h1 {
color: #0066cc;
margin: 0;
padding: 20px 0 5px 0;
font-size: 30px;
margin: 0;
line-height: 30px;
font-family: Trebuchet MS;
}

h1 a:hover {
text-decoration: none;
}

h2 a,
h2,
#viewpage h3 {
margin: 10px 0 0 0;
padding: 0;
font-size: 20px;
font-family: "Trebuchet MS", sans-serif;
color: #32ff00;
line-height: 20px;
}

#viewpage h3 {
margin-bottom: 10px;
}

h3 a,
h3 {
margin: 10px 0;
font-size: 16px;
font-family: "Trebuchet MS", sans-serif;
color: #32cf00;
}

h4 {
font-size: 14px;
font-family: "Trebuchet MS", sans-serif;
color: #32cf00;
margin-bottom: 8px;
}

#main-content h4 {
font-size: 12px;
}

#blog-header h2 {
padding: 0;
margin: 0;
color: #ff0099;
font-size: 18px;
line-height: 14px;
}

.sidebar-node h3, .sidebar-node-noline h3 {
padding: 1px 0 0 0;
margin: 5px 0;
font-size: 14px;
font-family: Verdana, Arial, Helvetica, sans-serif;
color: #ff0099;
}

.sidebar-node {
	padding-bottom: 10px;
	border-bottom: solid 1px #6fb1ff;
}

.sidebar-node-noline {
	padding-bottom: 10px;
}

.post h3 {
	padding-bottom: 5px;
	border-bottom: solid 2px #6fb1ff;
}

.post h4 {
	font-weight: bold;
}

.post h5 {
	font-weight: bold;
	font-size: 12px;
	
}

/* post headings
----------------------------------------------- */

.post .content, .summary .excerpt {
    padding:0px 5px 0px 5px;
}


.post .auth, .summary .auth, .comment .auth {
margin: 0px 0px 5px 0;
padding-left: 5px;
padding-bottom: 2px;
padding-top: 2px;
font-size: 10px;
font-family: Arial, Helvetica, sans-serif;
color: #555555;
}

.post .auth, .summary .auth {
	background: #c0c0f0 ;
}

 .comment .auth {
	margin: 0px 0 10px 0;
	color: #000;
	font-size: 10px;
	font-family: Arial, Helvetica, sans-serif;
}


.post .auth .typo_date, .summary .auth .typo_date,.comment .auth .typo_date {
text-transform: uppercase;
font-size: 10px;
font-family: Arial, Helvetica, sans-serif;
color: #555555;
margin-left: 3px;
margin-right: 3px;
font-weight: bold;
}

.comment .auth .typo_date {
color: #555555;
font-size: 10px;
font-family: Arial, Helvetica, sans-serif;
}

.post h2 {
	background: #555 ;
	margin: 0;
	padding:4px 5px 4px 5px;
}

.summary h2 {
	background: #555555; 
	margin: 0;
	padding:4px 5px 4px 5px;
}



.more {
	text-align:right;
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
}

/* text
----------------------------------------------- */

pre {
color: #333;
padding: 5px;
margin: 10px;
font-size: 12px;
font-family: "bitstream vera sans mono","courier new",courier,serif;
}

.post p,.summary p,
#viewpage p {
margin-bottom: 10px;
}

.post ol li,
#viewpage ol li {
margin: 0;
}

.post code,
#viewpage code {
color: #444;
display: block; /* Make this element behave like a box instead of formatted text so you get margins and padding control. */
margin: 0; /* No gap outside of <code> element. */
padding: 1.2em; /* Gap between edge of <code> and its contents, spacing it from <pre> box edges. */
}

pre strong {
background: #ffffaa;
font-size: 12px;
}

strong {
background: #ffffaa;
}

em {
background: #dddddd;
font-weight: bold;
}

.post ul,
#viewpage ul {
padding: 0 20px;
margin: 0;
}

.post,.summary,
.post li,
#viewpage,
#viewpage li {
font-size: 12px;
font-family: Arial, Helvetica, sans-serif;
line-height: 16px;
margin: 5px 0;
margin-left: 5px;
color: #333333;
}

.summary {
	margin-bottom:10px;
}

.post,
#viewpage {
margin: 10px 0;
}

.post img,
#viewpage img {
margin: 10px auto;
display: block;
}

blockquote 
{
    padding-right: 5px; 
    padding-left: 5px; 
    margin: 5px; 
    border-left: #aaaaaa 4px solid; 
    color: #777777;
}

.post .meta, .summary .meta {
margin: 5px 2px;
font-size: 12px;
font-family: Arial, Helvetica, sans-serif;
color: #666666;
background: url(/www/images/comment.png) 0 2px no-repeat;
padding-left: 18px;
}



/* sidebar
----------------------------------------------- */

.sidebar-node ul,.sidebar-node-noline ul {
margin: 0;
padding: 0;
list-style-type: none;
font-size: 12px;
font-family: Verdana, Arial, Helvetica, sans-serif;
}

.sidebar-node li,.sidebar-node-noline li {

background: url(/images/bullet_blue.png) 0 0 no-repeat;

padding: 0 0 4px 18px;
line-height: 14px;
}

.sidebar-node ul ul li,.sidebar-node-noline ul ul li {

background: url(/images/bullet_blue.png) 0 0 no-repeat;

font-weight: normal;
}

.sidebar-node ul ul,.sidebar-node-noline ul ul {

background: url(/images/bullet_blue.png) 0 0 no-repeat;

padding: 0 0 4px 18px;
line-height: 12px;
font-weight: bold;
}

.sidebar-node .resources li,.sidebar-node-noline .resources li {
background: url(/www/images/disk_multiple.png) 0 0 no-repeat;
}

.sidebar-node  li.feeds, .sidebar-node-noline li.feeds {
background: url(/www/images/feed.png) 0 0 no-repeat;
}

.sidebar-node  li.icon,.sidebar-node-noline li.icon {
	background: #eeeeee ;
}



.sidebar-node li em,.sidebar-node-noline li em {
font-family: arial, sans-serif;
background: none;
font-weight: normal;
font-style: normal;

color: #666;
}

small a {
margin-right: 10px;
font-size: 12px;
font-family: Arial, Helvetica, sans-serif;
}

/* links
----------------------------------------------- */

a {
text-decoration: none;
color: #0066cc;
font-weight: bold;
}

a:hover {
color: #0066cc;
background: #ffff88;
}

span.light-bg {
color: #888;
font-family: verdana;
}

.post a.admintools {
font-size: 14px;
float: right;
text-transform: uppercase;
}

#blog-header a {
	background: #eeeeee;
	color: #eeeeee;
	
}

#blog-header a img {
   border:0px;
}

#blog-header a:hover {
	background: #eeeeee;
	text-decoration: none;
	
}

/* comments
----------------------------------------------- */

.comment {
	margin-left: 10px;
	background-color: #dddddd;
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
}

.comment .info {
	text-align:right;
	padding: 0;
	font-size: 10px;
	margin: 0px 0 10px 0;
	color: #000;
}

.comment h2 {
  	font-size: 14px;
	font-family: Arial, Helvetica, sans-serif;
	color: #3200cf;
	padding-bottom: 0px;
	padding-left:5px;
}

 .censured {
	color: #f00;
}

.comment .even {
	background-color: #eeeeee;
}

.comment .draft {
	background-color: #ffdddd;
}

.comment .mask {
	color: #cccccc;
}

.comment .commentcontent {
	margin-left: 0px;
}

.commentcontent  p {
	margin-bottom: 10px;
	margin-left: 5px;
	color: #000000;
}
.comment .control {
	/*width: 100%;*/
	margin-bottom: 5px;
	font-size: 10px;
  	text-align:right;
}


/*.comment .control td {
	border: solid 1px #000;
}
*/
.comment-box {
background: #e0e0e0;
padding: 10px;
padding-right:15px;
}

.comment-box p {
	margin-bottom:10px;
}

.comment-box table {
width: 100%;
}

.comment-box input {
font-size: 14px;
font-weight: bold;
font-family: Arial;
width: 100%;
}


.comment-box input.check {
	width:15px;
	display: inline;
}

.comment-box textarea {
font-size: 12px;
font-family: Arial;
width: 100%;
height: 200px;
}

.comment-box .button {
width: auto;
font-size: 12px;
}

.comment-box #frm-btns {
text-align: right;
}

.comment-box #comment_author {
margin-bottom: 4px;
}

.comment-box .frm-tbl small a {
font-size: 10px;
font-family: verdana, arial, sans-serif;
}

.comment-box label {
font-size: 11px;
font-family: Verdana;
}

.comment-box .submit {
	width: 100px;
	font-size: 18px;
}

/* about (optional)
----------------------------------------------- */

.about-box {
/*background: #ffc url(/www/images/about-box-bottom.png) bottom left no-repeat;*/
background: #fdffc3;
margin-bottom: 15px;
padding-bottom: 3px;
}

.about-box h3 {
/*background: url(/www/images/about-box-top.png) top left no-repeat;*/
background: #fdffc3;
padding: 3px 8px 0 8px;
color: #333;
font-size: 18px;
font-family: "Trebuchet MS", sans-serif;
}

.about-box p,
.about-box a {
padding: 0 8px;
font-size: 14px;
font-family: "Trebuchet MS", sans-serif;
font-family: Trebuchet MS;
}

.about-box p {
color: #444;
}

.about-box a {
padding: 0;
}

.about-box img {
display: static;
border: solid 1px #000;
float: right;
margin: 0 8px;
}


/* admin tools
----------------------------------------------- */

a.admintools {
text-transform: uppercase;
float: right;
margin-left: 5px;
margin-top: -2px;
}

div.post a.admintools {
margin-top: 10px;
}

/* pagination
----------------------------------------------- */

#pagination {
text-transform: uppercase;
font-size: 10px;
font-weight: bold;
font-family: Helvetica, sans-serif;
color: #999;
}

/* links at the top
-------------------------------------------------*/

#links {
	text-align: left;
	height: 25px;
	margin-top:5px;
}

#links ul {
	list-style: none;
	margin: 0;
	padding-top: 5px;
	padding-left: 0px;
	color: #d4d4d4;
}

#links li {
	padding: 5px;
	background: url(/www/images/breadcrumb_bg.png) repeat-x;
	display: inline;
	text-align: center;
}

#links a {
	color: #d4d4d4;
	text-decoration: none;
}

#links a:hover {
	color: #67ce3d;
}

/* Errors
-------------------------------------------------*/
.fieldWithErrors {
  padding: 5px;
  padding-right: 10px;
  background-color: red;
  display: table;
}



#errorExplanation {
  width: 400px;
  border: 2px solid red;
  padding: 7px;
  padding-bottom: 12px;
  margin-bottom: 20px;
  background-color: #f0f0f0;
}

#errorExplanation h2 {
  text-align: left;
  font-weight: bold;
  padding: 5px 5px 5px 15px;
  font-size: 12px;
  margin: -7px;
  background-color: #c00;
  color: #fff;
}

#errorExplanation p {
  color: #333;
  margin-bottom: 0;
  margin-top: 5px;
  padding: 5px;
}

#errorExplanation ul li {
  font-size: 12px;
  list-style: square;
}

/*  
Admin
*/

.actions {
	width: 100%;
	border: none;
	padding: 0px;
}

.actions tr {
 padding:0px;
 margin:0px;
 border: none;
}

.actions tr td {
	padding: 0px;
	margin:0px;
	border: none;	
}



.post_list,.attachment_list {
	width: 100%;
	background-color: #E6F2FF;
	border: solid 2px #00FF00;
	padding: 5px;
}

.post_list tr.header td
{
	padding: 5px;
	background-color: #ccccFF;
}

.post_list td
{
	padding: 10px;
	border: solid 1px #B5BBF7;	
	padding-left:5px;
}

.post_list tr.odd {
	background: #D6E2FF;	
}

.post_list tr.even {
	background: #E6F2FF;
}


/*
Embedded objects
*/
#jsMath_Warning {display: none}
/*#jsMath_button {display: none}*/

.math    {color: #aaaaaa;}


.typeset {
	font-size: 140%;
	
}

div.typeset {
	color: #333333;
	background:#ffffcc;
	width:100%;
	padding: 5px;
	margin: 10px;
	font-size: 150%;
	text-align:center;
}

div.math {
	padding: 5px;
	margin: 10px;
	font-size: 150%;
	text-align:center;
}

.equationid {
	color: #00f;
	text-align:left;
	vertical-align:middle;
	display:inline;
	position:absolute;
}

.commentcontent div.typeset {
 width:auto;
}


/*
AJAX
*/
.loading-indicator {
vertical-align: bottom;
margin: 0;
}

/*
TAGS
*/
div.t0,
div.t1,
div.t2,
div.t3,
div.t4,
div.t5,
div.t6,
div.t7,
div.t8,
div.t9 {
  display:inline;
  text-decoration: none;
  font-weight: bold;
  font-size: 12px;
}

div.t9 a {
    font-size: 190%;
	color: #0000ff;
}
div.t8 a{
    font-size: 180%;
	color: #0000ff;
}
div.t7 a{
    font-size: 170%;
	color: #2020ff;
}
div.t6 a{
    font-size: 160%;
	color: #2020ff;
}
div.t5 a{
    font-size: 150%;
	color: #4040ff;
}
div.t4 a{
    font-size: 140%;
	color: #4040ff;
}
div.t3 a{
    font-size: 130%;
	color: #6060ff;
}
div.t2 a{
	font-size: 120%;
	color: #6060ff;
}

div.t1 a{
	font-size: 110%;
	color: #8080ff;
}

div.t0 a{
	font-size: 100%;
	color: #8080ff;
}

/*
Media
*/

div.flashcontent,div.videocontent,div.audiocontent,div.imagecontent,div.misccontent,div.centertext {
	text-align: center;
}

div.imagecontent a img {
	border:3px solid #6fb1ff;
}

span.audiocontent, span.audiocontent,span.imagecontent img{
	display:inline;
	vertical-align: bottom;
}

.audiocontent img {
	display: inline;
	vertical-align: middle;
}

.cc {
	margin: 0;
	    border: 0;
	    padding: 0;	
}

.alltags {
	padding:5px;
	width: 180px;
	border: 3px solid #6fb1ff;
}

div.table {
	display: table;
	width: auto;
}

div.div.row {
	display: table-row;
	width: auto;
}

div.cell {
	display: table-cell;
	width: 80px;
	min-width: 80px;
	margin: 0;
	padding: 0px;
	padding-top: 5px;
	padding-bottom: 5px;;;
}

td.album {
	padding: 5px;
	border: 1px solid #666;
	width: 33%;
	text-align: center;
	valign: center;
	background: #fff;
}

td.album a:hover {
	background: #fff ;
}

.colorselect a:hover {
	background: #eeeeee ;
}

.haskell pre {
 font-size: 12px;
 font-weight: bold;
}

.haskell .keyglyph, .haskell .layout {color: red;}
.haskell .keyword {color: blue;}
.haskell .comment, .haskell .comment a {
  margin-left:0px;
  font-size: 12px;
  color: black;
  background: #ffffaa;
  font-weight: normal;
}
.haskell .str, .haskell .chr {color: teal;}
.haskell .conid {color: #228b22;}
.haskell .varop {color: blue;}