@import url(http://fonts.googleapis.com/css?family=Ubuntu+Mono);
@import url(http://fonts.googleapis.com/css?family=Vollkorn);


body
{
  font-family: sans-serif;
  padding-top: 1.5em;
/*  width: 56em; */
  margin-left: 8em;
  margin-bottom: 3em;
  color: black;
  line-height: 1.5em;
  font-size: 13pt;
/*  max-width: 25em; */
 }

a {
    color: #337
}

a:visited {
    color: #337
}

p
{
  max-width: 45em;
}

dl
{
    max-width: 45em;
}

h1, h2, h3, h4, h5
{
  font-family: 'Vollkorn', sans-serif;
  font-weight: normal;
/*  padding-left: 0.75em; */
  color: #337;
  margin-top: 2em;
  margin-bottom: 0.5em;
 }

h1
{
/*  margin-left: -1em;*/
  font-size: 1.8em;
/*  border-left: solid #008800 4px; */
 }

h2
{
/*  margin-left: -1.2em; */
  font-size: 1.6em;
/*  border-left: solid #eeee00 4px; */
 }

h3
{
  font-size: 1.4em;
/*  border-left: solid #880000 4px; */
 }

h4
{
  font-size: 1.2em;
/*  font-weight: bold; */
 }

th
{
    text-align: left;
}

dt
{
    font-weight: bold;
}

#top
{
  height: 5em;
  padding-bottom: 3em;
  border-bottom: 1px solid #bbb;
 }

#logo
{
  padding-top: 1em;
  padding-bottom: 1em;
  padding-right: 3em;
  display: inline;
  border-right: 1px solid #bbb;
  color: #555;
  float: left;
  }

.logo-big
{
  font-size: 3em;
  font-weight: bold;
  }


ul#main-menu
{
  list-stile: none;
  display: inline;
  float: left;
  padding-top: 3em;
  padding-left: 3em;
 }

#main-menu li
{
  display: inline;
  margin-right: 2em;
  font-size: 1.4em;
  color: #777;
  padding-bottom: 0.25em;
 }

#main-menu li a
{
  text-decoration: none;
  color: #777;
 }

#main-menu li a:hover
{
  text-decoration: none;
  color: #000;
 }

#main-menu li.current
{
  display: inline;
  margin-right: 2em;
  color: #000;
  padding-bottom: 0em;
  border-bottom: solid #00aa00 3px;
 }

#content
{
  margin-top: 2em;
  margin-bottom: 2em;
  margin-left: 2em;
  width: 55em;
  padding-right: 1em;
  border-right: 1px solid #bbb;
 }

#sidebar
{

  width: 20em;
  float: right;
 }

.label-yellow
{
  border-left: solid #eeee00 4px;
 }

.label-green
{
  border-left: solid #008800 4px;
 }

.label-red
{
  border-left: solid #880000 4px;
 }


#twitter
{
  padding: 0.5em;
  border: 1px solid #bbb;
 }

#footer
{
  border-top: 1px solid #bbb;
 }

.code
{
  box-shadow: 3px 3px 5px 1px #888;
  border-radius: 10px;
/*  margin: 1em;*/
/*  padding: 1em;*/
/*  border: 1px solid #aaa;*/
    padding: 0.75em;

  font-size: 12pt;
  width: 45em;

  color: white;
  line-height: 1.2em;
  /* font-family: sans-serif; */
  font-family: 'Ubuntu mono', monospace;
  background: black;
  background-image:url('code-background.jpg');
  background-repeat: no-repeat;
  margin-top: 2em;
  margin-bottom: 3em;
 }

.code pre
{
    font-family: 'Ubuntu Mono', monospace;
}

kbd
{
    font-family: 'Ubuntu Mono', monospace;
    color: #333;
}

.wide
{
    width: 80em;
}


code
{
  line-height: 1.5em;
  border: 1px;
 }

.source-code
{
  font-size: 0.75em;
  color: #666;
 }

.warning
{
  color: red;
 }


.hs-keyglyph { color: DarkGoldenrod;  }
.hs-layout   { color: white;}
.hs-keyword  { color: skyblue; }
.hs-comment, .hs-comment a { color: cadetblue;}
.hs-str      { color: Darkorange; }
.hs-chr      { color: RosyBrown;}
.hs-conid    { color: GreenYellow; }
.hs-varid    { color: white; }
.hs-num      { color: white; }
.hs-varop    { color: DarkGoldenrod; }
.hs-conop    { color: DarkGoldenrod; }
.hs-sel      { color: FireBrick; }
.hs-cpp      { color: yellow; }
.hs-definition { color: gold; }


/* These colors need adjusting */
/*
.hs-keyglyph { color: DarkGoldenrod;  }
.hs-layout   { color: White;}
.hs-keyword  { color: PaleGreen;}
.hs-comment, .hs-comment a { color: FireBrick;}
.hs-str      { color: Darkorange; }
.hs-chr      { color: RosyBrown;}
.hs-keyword  { color: Cyan; }
.hs-conid    { color: LawnGreen; }
.hs-varid    { color: white; }
.hs-num      { color: white; }
.hs-varop    { color: DarkGoldenrod; }
.hs-conop    { color: DarkGoldenrod; }
.hs-sel      { color: FireBrick; }
.hs-cpp      { color: FireBrick; }
.hs-definition { color: yellow; }
*/