body {
    margin:3;
    padding:3;
    background:#a7a09a;
    font-family: Optima, Trebuchet MS, Arial, sans-serif;
    color: #111;
    line-height: 120%;
    background-color: #fff;
}

.page {
    margin-left: auto;
    margin-right: auto;
    width: 90%;
}

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

h1, h2, h3, h4, h5, h6 {
    font-family: Hoefler Text, Palatino Linotype, Georgia, serif;
}

#header {
    background-color: #ccddee;
    margin: 10px;
    padding: 30px 10px 30px 10px;
    border-top: 2px solid #abc;
}

#header h1 { 
    text-align: center;
    font-family: Hoefler Text, Palatino Linotype, Georgia, serif;
    font-size: 2em;
    color: #333;
    margin: 0;
    padding: 10px;
    font-weight: normal;
}

#header h1 a {
    color: #333;
}

#header h2 {
    font-size: 0.9em;
    font-weight: normal;
    text-align: center;
    color: #666;
}

#content {
    margin: 10px;
    float:left;
    width:75%;
    font-size: 0.85em;
    text-align: justify;
}

#body {
    margin-top: 10px;
    padding-top: 10px;
}

#body p {
    text-indent: 1em;
}

#body > p:first-child {
    text-indent: 0;
}

#body > p:first-child:first-letter {
    font-size: 3em;
    font-family: Hoefler Text, Palatino Linotype, Georgia, serif;
    float: left;
    padding: 3px;
    padding-right: 9px;
    margin: 1px;
    background-color: #cde;
}

blockquote {
    margin-right: auto;
    text-align: right;
    font-family: Hoefler Text, Palatino Linotype, Georgia, serif;
    font-size: 1.4em;
    font-style: italic;
    color: #333;
    font-weight: normal;
    border-top: 1px solid #ddd;
    border-bottom: 3px solid #ddd;
}

#sidebar { 
    float:right;
    width:20%;
}

#sidebar h5 {
    padding: 0px;
    margin: 0px;
    margin-top: 20px;
}

#sidebar p {
    padding: 0px;
    margin: 0px;
    margin-left: 15px;
    font-size: 0.75em;
}

#sidebar p.rss-button {
  background-color: orange;
  font-family: sans-serif;
  margin-top: 1em;
  margin-left: 0px;
  margin-right: auto;
  width: 2.2em;
  font-size: 0.9em;
  font-style: bold;
  text-align: center;
  border-top: 2px solid #FF8C00;
  border-left: 2px solid #FF8C00;
  border-right: 2px solid #FFE033;
  border-bottom: 2px solid #FFE033;
}

#sidebar p.rss-button a {
  color: #ffffff;
}

#footer { 
    background:#cde;
    border-top: 2px solid #abc;
    font-size: 0.75em;
    text-align: center;
    clear:both;
}

#footer p { 
    padding:5px;
    margin:0;
}

p.footnote {
    display: inline;
    width: 25%;
    float: right;
    clear: right;
    font-size: 0.75em;
    text-align: left;
    line-height: 90%;
    border-left: 2px solid #ddd;
    color: #666;
    padding: 5px;
    margin: 0px;
    margin-left: 1em;
    margin-right: -3em;
}

p.footnote sup {
    font-size: 1.5em;
    font-family: serif;
    float: left;
    margin-right: 1px;
/*    background-color: #cde;*/
}

p.tags {
    font-size: 0.8em;
    font-style: bold;
}

div.comment p {
    font-size: 0.92em;
}

div.comment > p:first-child:first-letter {
    font-size: 1.8em;
    font-family: Hoefler Text, Palatino Linotype, Georgia, serif;
    text-transform: uppercase;
    float: left;
    padding: 3px;
    margin: 1px;
}


p.signature {
    font-family: Hoefler Text, Palatino Linotype, Georgia, serif;
    font-size: 0.85em;
    border-top: 2px solid #abc;
    padding-bottom: 30px;
}

p.math {
  margin-left: auto;
  margin-right: auto;
  width: 85%;
  text-align: center;
  font-family: serif;
  font-style: italic;
  font-size: 1.3em;
}

.function-name {
  /* font-lock-function-name-face */
  color: #478eaa;
}
.keyword {
  /* font-lock-keyword-face */
  color: #00afaf;
}
.string {
  /* font-lock-string-face */
  color: #af603a;
}
.type {
  /* font-lock-type-face */
  color: #58ab58;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #ae9d32;
}