/* --------------------------------- *
 * Page Layout and Style
 * --------------------------------- */

/* always show scrollbar */
html { overflow-y: scroll; }
html { overflow: -moz-scrollbars-vertical; }

html, body {
  color:             #333;
  font-family:       'Bitstream Vera Sans', Verdana, Arial, sans;
  font-size:         100%;
  margin:            6px 16px;
  padding:           0;
}
div#body {
  margin-left:       auto;
  margin-right:      auto;
  max-width:         43em;
  vertical-align:    top;
}
div#page-head {
  border:            2px solid #363;
  padding:           6px;
  font-size:         70%;
  font-family:       'Trebuchet MS', 'Bitstream Vera Sans', Verdana, Arial, sans;
  text-align:        right;
  background:        #9CB99C;
  color:             #ded;
}
div#nav {
  color:             #444;
  font-size:         70%;
  margin-left:       auto;
  margin-right:      auto;
  margin-top:        6pt;
  padding:           5px 15px;
  text-align:        center;
}
div#content {
  font-family:       Georgia, 'Bitstream Vera Serif', serif;
  line-height:       170%;
  color:             #333;
  font-size:         100%;
  max-width:         34em;
  margin-left:       auto;
  margin-right:      auto;
  margin-top:        6pt;
  padding:           0px 15px;
}
div#page-foot {
  border-top:        2px solid #363;
  padding:           2px 6px;
  margin-top:        12pt;
  text-align:        right;
  font-size:         70%;
  width:             100%;
  
}
.hacker {
  display:           none;
}
div#wikish-links {
  font-size:         80%;
  text-align:        center;
}
p.b-link {
  font-size:         80%;
}

/* --------------------------------- *
 * Sidebar                           *
 * --------------------------------- */
div#sidebar {
  padding:          6pt;
  border-left:      2px solid #000;
}

div#sidebar h2 {
  font-size:        100%;
  border-right:     1px solid #ded;
}

/* --------------------------------- *
 * Basic Formatting                  *
 * --------------------------------- */
h1, h2, h3, h4, h5, h6 {
  font-family:       'Bitstream Vera Sans', Verdana, Arial, sans;
}
h1.title {
  font-weight:       bold;
  margin-bottom:     0;
  margin-top:        0;
  font-size:         150%;
  color:             #676;
}
h2.title {
  font-size:         130%;
  margin-bottom:     0px;
  margin-top:        12pt;
}
h2.title a, h2.title a:link {
  color:             #333;
  text-decoration:   none;
}
h2.title a:hover {
  color:             #fff;
}
h3.title {
  font-size:         100%;
  margin-bottom:     0px;
}
div.section h3 {
  font-size:         90%;
  font-weight:       bold;
}

/* stuff around headings */
div.tagline {
  font-style:        italic;
  border-bottom:     1px solid #aca;
  margin-top:        -2pt;
  padding-bottom:    3px;
  margin-bottom:     3px;
}
div.entry div.summary {
  font-size:         90%;
  font-style:        italic;
}
div.feed div.entry div.summary {
  font-size:         100%;
  font-style:        normal;
}
span.crumbs a {
  text-decoration:   none;
}

/* links */
a, a:link {
  color:             #363;
  font-weight:       bold;
}
a:visited {
  color:             #444;
}
a:hover {
  color:             #fff;
  background:        #363;
  text-decoration:   none;
  margin:           -1px;
  border:            1px dotted #fff;
}
a:visited:hover {
  background:        #363;
}
div#page-foot a, div#nav a {
  text-decoration:   none;
}
div#page-foot a:visited {
  color:             #363;
}
div#page-foot a:visited:hover {
  color:             #fff;
}
div#nav span.dim {
  font-weight:       bold;
  color:             #999;
}

pre a, span.crumbs a {
  font-weight:       normal;
}

/* misc */
hr {
  background:        #eee;
  height:            3px;
  border:            0px;
}
div#content hr {
  height:            1px;
}
div#content div.info {
  font-size:         70%;
  font-family:       'Bitstream Vera Sans', Verdana, Georgia, Arial, Sans;
  font-style:        italic;
  line-height:       130%;
  background:        #eef6ee;
}
li {
  margin-bottom:     6pt;
}

/* --------------------------------- *
 * Formatting Styles
 * --------------------------------- */
var, pre, code, tt {
  font-family:       'Bitstream Vera Sans Mono', 'Lucida Console', 'Courier', monospaced;
  font-size:         75%;
}
.filename, pre.mail span.quote, .shell, code.cmd {
  color:             #884488;
}
pre.markup-example, pre.codeblock, pre.text, pre.mail, .shell
{
  background:       #f6f6f6;
  border:           1px solid #eee;
  padding:          4px;
}
dl.linklist dt {
  margin-top:        6pt;
}
dl.linklist dd {
  margin-left: 0;
}
dl.linklist dt a {
  font-weight:       bold;
  text-decoration:   none;
  margin-bottom:     0;
  padding-bottom:    0;
}
dl.linklist dd div.comment {
  font-style:        italic;
  margin-top:        0px;
}
pre {
  line-height:       120%;
}
.highlight {
  background:        #eeffee;
}
table.chat {
  margin-left:       30pt;
  margin-top:        12pt;
  margin-bottom:     12pt;
  padding-left:      6pt;
  border-left:       2px solid #fed;
  border-top:        2px solid #fed;
  
}
table.chat td {
  line-height:       120%;
  margin:            4pt;
  font-family:       'Bitstream Vera Sans', 'Trebuchet MS', 'Verdana', sans-serif;
  font-size:         90%;
}
table.chat td.speaker {
  text-align:        right;
}
table.chat td.speaker cite {
  font-weight:       bold;
  font-style:        italic;
}
table.chat p {
  margin:            0pt;
}
table.chat cite.even {
  color:             #f63;
}

table.table td, table.table th {
  font-size:        75%;
  font-family:      'Bitstream Vera Sans', 'Trebuchet MS', 'Verdana', sans-serif;
}
table.table th {
  background:       #eee;
}
table.table td {
  background:       #f6f6f6;
}