/* Autum Color Theme */

body {
	background: #fff;
	color: #333;
	}

#header {
	background: #464646;
	}
		
#headerimg .description {
	color: #bbb;
	}
	
#footer {
	background: #eee;
	border-top: 1px solid #ddd;
	}	

h2.pagetitle {
	color: #555;
	}

#sidebar ul li h2 {
	color: #333;
	border-bottom: 3px solid #dedede;
	}

h1, h1 a {
	color: #333;
	}
	
#header h1, #header h1 a, #header h1 a:hover, #header h1 a:visited {
	color: #fff;
	}

h2, h2 a, h2 a:visited, h3, h3 a, h3 a:visited {
	color: #333;
	}

.commentlist li {
	background:#fdfdfd;
	}

.commentlist li .avatar { 
	border: 1px solid #eee;
	background: #fff;
	}


.commentlist li.alt {	
	background:#fefefe;	
}

small, #sidebar ul ul li, #sidebar ul ol li, .nocomments, .postmetadata, strike {
	color: #aaa;
	}

code {
	border: 1px solid #eee;
	background:#F5FAFE;
	}

a {
	color: #21759B;
	border-bottom: 1px solid #ccc;
	}

a:hover, .entry a.more-link:hover, .navigation a:hover {
	color: #D54E21;
	background: #F5D1C5;
	border-bottom: 1px solid #D54E21;
	}

.entry a.more-link, .navigation a {
	background:#F5FAFE;
	border-bottom: 1px solid #ddd;
	}

#sidebar #wp-calendar a {
	background: #eee;
	}
#sidebar #wp-calendar a:hover {
	background: #E8C8C8;
	}	

#sidebar #wp-calendar th {
	border-bottom:1px solid #eee;
	}
	
.post hr {
	border-top: 1px dotted #ccc;
	}		
	
.narrowcolumn .postmetadata2 {
	border-top: 1px solid #eee;
	border-bottom: 1px solid #eee;
}	

.entry img {
	border: 1px solid #eee;
	}	
	
.entry {
	border-top: 1px solid #eee;
	}
	
#sidebar a {
	border-bottom:1px solid #eee;
	}	
#sidebar a:hover {
	border-bottom: 1px solid #D54E21;
	background-color: #F5D1C5;
}	

#sidebar .cat-item a:hover, #sidebar .archives a:hover,
#sidebar #archives ul li a:hover,
#sidebar .linkcat a:hover,
#sidebar .blogroll a:hover {
	background-color: #F5D1C5;
} 

#sidebar div.flickr_badge_image a {
	background: #fff;
	border: 1px solid #eee;
}
#sidebar div.flickr_badge_image a:hover {
	border: 1px solid #ddd;
	background: #fdfdfd;
}

.commentlist li {
	border: 1px solid #eee;	
	}
	
#sidebar #wp-calendar td.pad:hover { /* Doesn't work in IE */
	background-color: #fff; }
/* End Calendar */

acronym, abbr {
	border-bottom: 1px dashed #ccc;
	}
	
blockquote {
	border-left: 4px solid #E2F0FC;
	background:#F5FAFE;
	color:#666;
	}		

.wp-caption {
	border: 1px solid #ddd;
	background-color: #f3f3f3;
	}



#sidebar li#rssfeeds a:hover, #sidebar .textwidget a:hover, #sidebar #tag_cloud a:hover, #sidebar p a:hover{
	background: #e8c8c8;
	}


/* Form Elements */

#header #searchform #s {
	background: #5A5A5A;
	color: #aaa;
	border: 1px solid #666;
	}

#header #searchsubmit, #commentform #submit {
	background: #666;
	border: 1px solid #888;
	color: #bbb;
	}
	
#content #searchform #s {
	background: #ddd;
	color: #333;
	border: 1px solid #bbb;
	}

#content #searchsubmit {
	background: #666;
	border: 1px solid #777;
	color: #ccc;
	}
	
#commentform input, #commentform textarea, fieldset {
	border: 1px solid #ccc;
	}
	
legend {
	background: #ccc;
}

/* */


/* Top Navigation */
	
#pagemenu {	
	background: #E4F2FD;
	border-top: 1px solid #E4F2FD;
}

#pagemenu ul li.page_item a, #pagemenu ul li.cat-item a {
	color: #21759B;
	background:#F1F9FE;	
}	

#pagemenu ul li.page_item a:hover, #pagemenu ul li.cat-item a:hover {
	color: #D54E21;
	background: #F5D1C5;	
}

#pagemenu ul li.page_item, #pagemenu ul li.cat-item { background: #ddd;}

#pagemenu ul li.current_page_item, #pagemenu ul li.current_page_item a, #pagemenu ul li.current_page_item a:hover, #pagemenu ul li.current-cat, #pagemenu ul li.current-cat a, #pagemenu ul li.current-cat a:hover { 
	color: #000; 
	background: #fff;
	}
	
#pagemenu ul li.current_page_item li a {
	background:#eee;
	color: #888;
}

#pagemenu #page-list li:hover {
		background:#eee;
	}
	
#pagemenu #page-list li ul {
	border: 1px solid #ddd;	
}	

#pagemenu #page-list li ul li {
    background: #eee;
	border-top: 1px solid #ddd;
}

.navigation {
	border-top: 1px solid #eee;
}


/* Custom styles */

h3 {
	margin: 21px 0 21px;
}

#headerlogo a {
	background: #464646;
	border: none;
	padding: 0;
}

#headerlogo img {
	float: left;
	margin-left: 40px;
	margin-top: 10px;
	padding-right: 10px;
}

#headerimg .description {
	padding-left: 20px;
}

.entry a.more-link {
	float: none;
	display: inline-block;
	margin-top: 14px;
	padding-left: 1em;
	padding-right: 1em;
}

.entry img {
	padding: 0;
	border: 1px solid #ddd;
}

.entry a.image {
	background: #fff;
	border-bottom: none;
}

.entry .icon {
	border:none;
	vertical-align:middle;
}

.title {
	color:#A00000;
}

ul.separated li {
	padding-bottom:0.5em;
}

.scala-keyword {
  color: rgb(0, 0, 128);
  font-weight: bold;
}

.scala-number {
  color: rgb(0, 0, 255);
}

.scala-string {
  color: rgb(0, 128, 0);
  font-weight: bold;
}

.scala-comment {
  color: rgb(128, 128, 128);
}

.scala-escape {
  color: rgb(0, 0, 128);
}

.problem {
    margin-bottom: 2.5em;
    width: 100%;
    line-height: 1.25em;
}

.problem-header {
    margin-bottom: 0.3em;   
}

.problem-title {
    font-family:Georgia,Sans-Serif,Verdana;
    font-weight:normal;
    font-size: 1.3em;
    margin-bottom: 0.4em;
}

.problem-description a {
    text-decoration:none;
    vertical-align: top;
    border-bottom: none;
}

.problem-description {
    font-family: Times new roman;
    font-size: 1.15em;
    line-height: 1.25em;
}

.problem pre {
    border: 1px solid #ccc;
    padding: 5px 10px 5px 10px;
    background-color: #F9F9F9;
    margin-right: 0;
    width: 560px;
    line-height: 1.25em;
    font-family: courier new;
    font-size: 10pt;
}
