/*****************************************************************************/
/*
/* Common
/*
/*****************************************************************************/

/* Global Reset */

* {
  margin: 0;
  padding: 0;
}

html, body {
  height: 100%;
}

img {
  border: 0;
}

img.floatright {
  float: right;
  margin-left: 10px;
}

img.floatleft {
  float: left;
  margin-right: 10px;
}

body {
  background-color: white;
  font: 13.34px helvetica, arial, clean, sans-serif;
  *font-size: small;
  text-align: center;
}

h1, h2, h3, h4, h5, h6 {
  font-size: 100%;
}

h1 {
  margin-bottom: 1em;
}

p {
  margin: 1em 0;
}

a {
  color: #a0a;
  text-decoration: none;
}

a:hover {
  color: black;
}

a:active {
  color: #a0a; 
}

a:visited {
  color: #a0a;
}

table {
  font-size: inherit;
  font: 100%;
}

/*****************************************************************************/
/*
/* Home
/*
/*****************************************************************************/

ul.posts {
  list-style-type: none;
  margin-bottom: 2em;
}

ul.posts li {
    line-height: 1.75em;
}

#post-list .date {
    display: inline;
}

#post-list .post-title {
    display: inline;
}

#post-list .post-title a {
    color: #f86005;
    text-decoration: underline;
}

#post-list .post-title a:hover {
    color: #000;
    text-decoration: underline;
}

#post-list .post-title a:active {
    color: #000;
    text-decoration: underline;
}
/*****************************************************************************/
/*
/* Site
/*
/*****************************************************************************/

.site {
  font-size: 110%;
  text-align: left;
  width: 40em;
  margin: 3em auto 2em auto;
  line-height: 1.5em;
}

.lambda {
    color: #f86005;
}

.title {
  color: #f86005;
  font-weight: bold;
  margin-bottom: 2em;
}

  .site .title a {
    color: #000;
    text-decoration: none;
  }
  
  .site .title a:hover {
    color: black;
  }

  .site .title a.extra {
    color: #aaa;
    text-decoration: underline;

  }
  
  .site .title a.extra:hover {
    color: yellow;/*black;*/
  }

  .site .meta {
    color: #aaa;
  }

  .site .footer {
    color: #aaa;
    border-top: 4px solid #000;
    margin-top: 2em;
    overflow: hidden;
  }
  
    .site .footer .contact {
      float: left;
      margin-right: 3em;
      font-weight: bold;
    }

      .site .footer .contact a {
        color: #aaa;
      }
    
      .site .footer .contact a:hover {
        color: #000;
      }
    .site .footer .rss {
      margin-top: 1.1em;
      margin-right: -.2em;
      float: right;
    }
    
      .site .footer .rss img {
        border: 0;
      }
    
/*****************************************************************************/
/*
/* Posts
/*
/*****************************************************************************/

#post {
  
}

/*****************************************************************************/
/*
/* Syntax Highlighting
/*
/*****************************************************************************/
pre {
    color: #dcdccc;
    background-color: #3f3f3f;
}
pre .builtin {
    /* font-lock-builtin-face */
    color: #8cd0d3;
}
pre .comment {
    /* font-lock-comment-face */
    color: #7f9f7f;
}
pre .comment-delimiter {
    /* font-lock-comment-delimiter-face */
    color: #708070;
}
pre .esk-paren {
    /* esk-paren-face */
    color: #7f7f7f;
}
pre .function-name {
    /* font-lock-function-name-face */
    color: #f0dfaf;
}
pre .hl-line {
    /* hl-line */
    background-color: #2e3330;
}
pre .keyword {
    /* font-lock-keyword-face */
    color: #f0dfaf;
    font-weight: bold;
}
pre .clojure-keyword, pre .clojure-keyword .type{
    /* clojure-keyword-face */
    color: #8cd0d3;
    font-weight: bold;
}
pre .string {
    /* font-lock-string-face */
    color: #cc9393;
}
pre .type {
    /* font-lock-type-face */
    color: #dfdfbf;
    font-weight: bold;
}

pre a {
    color: inherit;
    background-color: inherit;
    font: inherit;
    text-decoration: inherit;
}
pre a:hover {
    text-decoration: underline;
}

#about-me {
    border-left: 4px solid #F0AD4E;
    padding-left: 7px;
    background-color: #FCF8F2;
}

.sidebar {
    padding-left: 5px;
    border: 1px solid #C5B18C;
    background-color: #FFE3AF;
}
pre {
    width: 160%;
}

a.toc-link {
    color: #000;
    text-decoration: underline;
}