/* style largely inspired by http://cseweb.ucsd.edu/~hovav/ */
body {
  margin: 5%;
  max-width: 40em;
  font-family: helvetica, sans-serif;
  line-height: 1.2;
  text-align: justify;
}

.title {
    /* margin-left: 5%; */
    /* margin-right: 5%; */
    /* background: url("logo.png") no-repeat center right; */
    /* padding: 100px; */
    /* border: 10px solid #000000; */
}

#content {
    background: #ffffff;
    margin-left: 5%;
    margin-right: 5%;
    //border: 2px solid #4f4f4f;
    padding: 5px;
}

#postamble {
    color: gray;
    font-size: 0.7em;
    text-align: right;
}

.inlinepage {
    float: left;
    width: 70%;
    border: 2px solid #4f4f4f;
    background: white;
    margin-left: -0.6%;
    margin-top: 0.4%;
}

.tags {
    float: right;
    color: gray;
    font-size: 0.7em;
    text-align: right;
}

#pageinfo {
    border: 0px;
}

pre {
    background-color: #f7f7f7;
}

h1 {
    font-size: 1.2em;
}

h2 { font-size: 1.0954em; }

.timestamp {
    color: #ffffff;
    background-color: #6f788a;
}