div#top { padding-top:0;}

#content div.post div.StepImage {
  margin-bottom: 1em;
}

#content div.post h3 {
  font-size: 18px;
  line-height: 1.3em;
}

div.post div.related-postss {
  background-color: #eee;
  padding: 15px 15px 5px;
  border: 1px solid #333;
  margin-bottom: 1em;
  font-size: 75%;
}

div.post div.related-posts {
  margin: 40px 0 20px;

}

#content div.post div.related-posts h3 {
  margin-top: 0;
  margin-bottom: 15px;
  font-size: 18px;
}

div.post ul.related_post li {
  margin-bottom: 0px;
}

#content div.post ul.related_post li a {
  font-size: 90%;
}

#content div.post div.entry div.tags p, #content  div.post div.entry div.tags a {
  font-size: 12px;
  color: #414141;
}

#content div.post div.StepImage img {
  border: 1px solid #e6e6e6;
  padding: 3px;
}

#content div.post div.entry div.caption {
  margin-top: 3px;
  margin-bottom: 20px;
}

#content div.post div.entry div.caption a {
  font-size: 90%;
 }

#content div.post div.entry div.announcement {
  margin-bottom: 1em;
}

#content div.post div.entry div.announcement h3 {
  margin-top: 0;
}

#content div.post div.entry div.announcement, 
#content div.post div.entry div.announcement a, 
#content div.post div.entry div.announcement p,
#content div.post div.entry div.announcement span {
  font-size: 14px;
}

#content div.post div.entry code {

}

#content div.post div.entry code a{
  text-decoration:none;
  font-size: 1em !important;

}

#content div.post div.entry ol li + li {
  margin-top: 1em;
}

#content div.post div.entry blockquote {
  padding-left: 1em;
  background-color: #eee;
  font-family: Georgia, Times, "Times New Roman", serif;
  border-left: 1px solid #333;
  font-style: normal;
}

#content div.post div.entry blockquote span,
#content div.post div.entry blockquote p {
  color: #333;
}

#content div.post div.entry img.framed {
  padding: 3px;
  border: 1px solid #e6e6e6;
}

#content div.post div.entry .top-image {
  margin-left: 1em;
  margin-bottom: 1em;
  float: right;
}

#content div.post div.entry p.image-attribution,
#content div.post div.entry p.image-attribution a {
  font-size: 10px;
}

/* Stylesheet generated from TextMate theme
 *
 * Blackboard
 * 
 *
 */


#content pre.textmate-source {
	margin: 0 0 10px 0;
	padding: 5px;
	font-family: Monaco, monospace;
	font-size: 11px;
	line-height: 1.3em;
	word-wrap: break-word;
	white-space: pre;
	white-space: pre-wrap;
	white-space: -moz-pre-wrap;
	white-space: -o-pre-wrap;
}



#content pre.textmate-source.blackboard {
	color: #F8F8F8;
	background-color: #000000;
}

#content pre.textmate-source .linenum {
	width: 75px;
	padding: 0.1em 1em 0.2em 0;
	color: #888;
	background-color: #eee;
}
#content pre.textmate-source.blackboard span {
   padding-top: 0.2em;
   padding-bottom: 0.1em;
}
#content pre.textmate-source.blackboard ::selection {
	background-color: #253B76;
}
/* Comment */
#content pre.textmate-source.blackboard .comment {
	color: #C681BC;
	font-style: italic;
}

/* Constant */
#content pre.textmate-source.blackboard .constant {
	color: #D8FA3C;
}

/* Entity */
#content pre.textmate-source.blackboard .entity {
	color: #FF6400;
}

/* Keyword */
pre.textmate-source.blackboard .keyword {
	color: #FBDE2D;
}

/* Storage */
pre.textmate-source.blackboard .storage {
	color: #FBDE2D;
}

/* String */
pre.textmate-source.blackboard .string, pre.textmate-source.blackboard .meta_verbatim {
	color: #61CE3C;
}

/* Support */
pre.textmate-source.blackboard .support {
	color: #8DA6CE;
}

/* Variable */
pre.textmate-source.blackboard .variable {
}

/* Invalid – Deprecated */
pre.textmate-source.blackboard .invalid_deprecated {
	color: #AB2A1D;
	font-style: italic;
}

/* Invalid – Illegal */
pre.textmate-source.blackboard .invalid_illegal {
	color: #F8F8F8;
	background-color: #9D1E15;
}

/* Superclass */
pre.textmate-source.blackboard .entity_other_inherited-class {
	color: #FF6400;
	font-style: italic;
}

/* String interpolation */
pre.textmate-source.blackboard .string .constant_other_placeholder {
	color: #FF6400;
}

/* meta.function-call.py */
pre.textmate-source.blackboard .meta_function-call_py {
	color: #BECDE6;
}

/* meta.tag */
pre.textmate-source.blackboard .meta_tag, pre.textmate-source.blackboard .meta_tag .entity {
	color: #7F90AA;
}

/* entity.name.section */
pre.textmate-source.blackboard .entity_name_section {
	color: #FFFFFF;
}

/* OCaml variant */
pre.textmate-source.blackboard .keyword_type_variant {
	color: #D5E0F3;
}

/* OCaml operator */
pre.textmate-source.blackboard .source_ocaml .keyword_operator_symbol {
	color: #F8F8F8;
}

/* OCaml infix operator */
pre.textmate-source.blackboard .source_ocaml .keyword_operator_symbol_infix {
	color: #8DA6CE;
}

/* OCaml prefix operator */
pre.textmate-source.blackboard .source_ocaml .keyword_operator_symbol_prefix {
	color: #8DA6CE;
}

/* OCaml f-p infix operator */
pre.textmate-source.blackboard .source_ocaml .keyword_operator_symbol_infix_floating-point {
	text-decoration: underline;
}

/* OCaml f-p prefix operator */
pre.textmate-source.blackboard .source_ocaml .keyword_operator_symbol_prefix_floating-point {
	text-decoration: underline;
}

/* OCaml f-p constant */
pre.textmate-source.blackboard .source_ocaml .constant_numeric_floating-point {
	text-decoration: underline;
}

/* LaTeX environment */
pre.textmate-source.blackboard .text_tex_latex .meta_function_environment {
	background-color: rgba(255, 255, 255, 0.03);
}

/* LaTeX environment (nested) */
pre.textmate-source.blackboard .text_tex_latex .meta_function_environment .meta_function_environment {
	background-color: rgba(122, 150, 250, 0.03);
}

/* Latex support */
pre.textmate-source.blackboard .text_tex_latex .support_function {
	color: #FBDE2D;
}

/* PList unquoted string */
pre.textmate-source.blackboard .source_plist .string_unquoted, pre.textmate-source.blackboard .source_plist .keyword_operator {
	color: #FFFFFF;
}



