h1, h2, h3, h4 {
  color: #aaaaaa; }

body, p {
  color: #444444;
  font-size: 1em; }

a, a:focus {
  color: red;
  text-decoration: none; }

a:hover {
  color: red;
  text-decoration: underline; }

ul {
  list-style: circle; }

#header a, #header a:focus, #footer a, #footer a:focus {
  color: #444444; }
#header a:hover, #footer a:hover {
  color: red; }


#header .title .bracket {
  color: red; }
#header .topband {
  font-size: 1em;
  border-top: 1px solid #eeeeee;
  border-bottom: 1px solid #eeeeee;
  height: 1.5em;
  overflow: hidden;
  text-align: center;
  margin: 0 0 1.8em 0; }
#header .menu #search {
  float: right;
  margin: 0 1.5em 0 0; }
#header .menu ul {
  text-align: right;
  margin: 0 1.5em 0 0; }
  #header .menu ul li {
    display: inline;
    padding: 0 .5em;
    border-right: 1px solid #eeeeee; }
  #header .menu ul li.last {
    border: 0; }


.post {
  margin-bottom: 3em; }
  .post .title {
    margin-bottom: 0; }
  .post .date {
    padding: 0 0 1.5em 1.5em;
    font-style: italic;
    color: #aaaaaa; }
  .post .stats {
    text-align: right;
    font-style: italic; }
  .post .content {
    border-left: 0.1em dotted red;
    padding: 0 1.5em; }


.UltraViolet pre {
  overflow: auto; }