/**
 * Eric Meyer's Reset CSS v2.0 (http://meyerweb.com/eric/tools/css/reset/)
 * http://cssreset.com
 */
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed, 
figure, figcaption, footer, header, hgroup, 
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
	margin: 0;
	padding: 0;
	border: 0;
	font-size: 100%;
	font: inherit;
	vertical-align: baseline;
}
/* HTML5 display-role reset for older browsers */
article, aside, details, figcaption, figure, 
footer, header, hgroup, menu, nav, section {
	display: block;
}
body {
	line-height: 1;
}
ol, ul {
	list-style: none;
}
blockquote, q {
	quotes: none;
}
blockquote:before, blockquote:after,
q:before, q:after {
	content: '';
	content: none;
}
table {
	border-collapse: collapse;
	border-spacing: 0;
}

body {
  background: #fff;
  color: #222;
  max-width: 50em;
  margin: 60px 14px 0 64px;

  font-family: 'Proxima Nova','Open Sans',sans-serif;
  font-size: 15px;
  line-height: 25px;
}

h1 {
  font-size: 24px;
  line-height: 32px;
  font-weight: normal;
}

header a#page-title {
  font-family: Helvetica, sans-serif;
  font-weight: bold;
}

h2 {
  color: #666;
  font-family: Helvetica, sans-serif;
  font-size: 18px;
  line-height: 15px;
  padding-top: 10px;
}

h3 {
  font-family: Georgia, "Times New Roman", Times, serif;
  font-size: 1em;
  color: #000000;
}

h4 {
  color: #000000;
  font-size: 9pt;
}

time {
  color: #c0c0c0;
  font-size: 50%;
}

img {
  border: none;
}

blockquote {
  border-left: 1px solid #A5ABAB;
  margin: 0px;
  padding: 0 12px 0 12px;
}

p {
  line-height: 30px;
  margin: 30px auto;
  text-indent: 0px;
}

p.caption {
  font-size: 80%;
  margin-top: 0;
}

a {
  border-bottom: #999 1px solid;
  color: #303030;
  text-decoration: none;
}
a:hover {
  color: #999;
}

strong {
  color: #555555;
  font-family: Georgia, "Times New Roman", Times, serif;
  font-weight: bold;
}

code {
  font-family: 'Inconsolata',monospace,serif;
  font-weight: normal;
}

tt, pre {
  background-color: #f7fcff;
  font-family: 'Inconsolata',monospace,serif;
}

pre {
  overflow: auto;
  font: lighter 12px/20px monospace;
  border: 1px solid #7af;
  border-left: 10px solid #7af;
  padding: 12px;
  margin-left: -22px; 
}

code {
  background-color: #f0f7ff;
  padding-left: 3px;
  padding-right: 3px;
}

pre code {
  background-color: transparent;
  padding: 0;
}

header {
  padding-bottom: 20px;
}
header a {
  border-bottom: none;
}




#article-list {
  margin-top: 100px;
}
#article-list ol li {
  line-height: 1.2em;
  list-style-type: none;
  padding-bottom: 10px;
}

#article-list .date {
  font: 'Inconsolata', monospace;
  color: #666;
  font-size: 18px;
}

#article-list .title {
  margin-left: 20px;
  font: Helvetica, sans-serif;
  font-size: 18px;
}

table.posts td { padding-left: 0; padding-right: 0; margin: 0; border: 0}
table.posts td.post { padding-left: 1em; }
table.posts td.post a { color: #303030; font-weight: bold;}
table.posts td.description { padding-left: 1.5em; color: #666; font-size: 13px; line-height: 21px; }
table.posts td.year, table.posts td.month, table.posts td.day { font-family: Consolas, Menlo, Monaco, Andale Mono, Courier New, monospace; color: #666;}
table.posts td.y1, table.posts td.m1, table.posts td.d1 { font-weight: bold; }

footer {
  background: #fff;
  color: #666;
  font-family: helvetica, sans-serif;
  font-size: 13px;
  letter-spacing: 4px;
  margin-left: 20px;
}
footer a {
  border-bottom: none;
  color: #c0c0c0;
}
footer li {
  display: inline;
}
footer p {
  text-align: right;
}

.hll {
background-color:#FFFFCC;
}
.c {
color:#408090;
font-style:italic;
}
.err {
border:1px solid #FF0000;
}
.k {
color:#007020;
font-weight:bold;
}
.o {
color:#666666;
}
.cm {
color:#408090;
font-style:italic;
}
.cp {
color:#007020;
}
.c1 {
color:#408090;
font-style:italic;
}
.cs {
background-color:#FFF0F0;
color:#408090;
}
.gd {
color:#A00000;
}
.ge {
font-style:italic;
}
.gr {
color:#FF0000;
}
.gh {
color:#000080;
font-weight:bold;
}
.gi {
color:#00A000;
}
.go {
color:#303030;
}
.gp {
color:#C65D09;
font-weight:bold;
}
.gs {
font-weight:bold;
}
.gu {
color:#800080;
font-weight:bold;
}
.gt {
color:#0040D0;
}
.kc {
color:#007020;
font-weight:bold;
}
.kd {
color:#007020;
font-weight:bold;
}
.kn {
color:#007020;
font-weight:bold;
}
.kp {
color:#007020;
}
.kr {
color:#007020;
font-weight:bold;
}
.kt {
color:#902000;
}
.m {
color:#208050;
}
.s {
color:#4070A0;
}
.na {
color:#4070A0;
}
.nb {
color:#007020;
}
.nc {
color:#0E84B5;
font-weight:bold;
}
.no {
color:#60ADD5;
}
.nd {
color:#555555;
font-weight:bold;
}
.ni {
color:#D55537;
font-weight:bold;
}
.ne {
color:#007020;
}
.nf {
color:#06287E;
}
.nl {
color:#002070;
font-weight:bold;
}
.nn {
color:#0E84B5;
font-weight:bold;
}
.nt {
color:#062873;
font-weight:bold;
}
.nv {
color:#BB60D5;
}
.ow {
color:#007020;
font-weight:bold;
}
.w {
color:#BBBBBB;
}
.mf {
color:#208050;
}
.mh {
color:#208050;
}
.mi {
color:#208050;
}
.mo {
color:#208050;
}
.sb {
color:#4070A0;
}
.sc {
color:#4070A0;
}
.sd {
color:#4070A0;
font-style:italic;
}
.s2 {
color:#4070A0;
}
.se {
color:#4070A0;
font-weight:bold;
}
.sh {
color:#4070A0;
}
.si {
color:#70A0D0;
font-style:italic;
}
.sx {
color:#C65D09;
}
.sr {
color:#235388;
}
.s1 {
color:#4070A0;
}
.ss {
color:#517918;
}
.bp {
color:#007020;
}
.vc {
color:#BB60D5;
}
.vg {
color:#BB60D5;
}
.vi {
color:#BB60D5;
}
.il {
color:#208050;
}
