html {
  font-size:         12pt;
  background-color:  #013347;
  line-height:       1.5em;
}

body {
  margin:  auto;
  width:   1030px;
}

body > header {
  font-family:       "ratio-display-1", sans-serif;
  border-right:      1px solid #A9B5CC;
  background-color:  #F1EEE6;
  height:            3em;
  margin:            0;
  padding-top:       3em;
  float:             left;
  width:             230px;
  height:            1500px;
  position:          fixed;
  text-align:        center;
}

h1 {
  font-family:  "ratio-display-1", sans-serif;
  color:        #013347;
}

body > header a {
  color:            #013347;
  text-decoration:  none;
}

body > header img {
  border: 1px solid white;
}

body > header h1 {
  font-size:      47px;
  margin-top:     0.4em;
  margin-bottom:  1em;
}

body > header nav {
  text-align:  left;
  font-size:   1.3em;
}

body > header nav a {
  color: #013347;
}

body > header nav ul {
  list-style: none;
}

body > header nav li {
  margin-bottom: 0.2em;
}

body > header aside p {
  margin-top: 2.5em;
  margin-left: 2.5em;
}

body > header aside {
  text-align: left;
}

body > header aside ul {
  list-style: none;
}

section {
  float:             left;
  margin-left:       231px;
  padding-left:      50px;
  padding-right:     50px;
  width:             700px;
  border-right:      1px solid #A9B5CC;
  background-color:  white;
  min-height:        1000px;
}

article {
  font-family: "open-sans-1", sans-serif;
  background: #FFF;
  padding-top: 3em;
}

a {
  color: #013388;
}

a:visited {
  color: #516388;
}

article h1 {
  font-family:    "ff-tisa-web-pro-1", serif;
  display:        block;
  margin:         auto;
  font-size:      2em;
  margin-bottom:  10px;
  color:          #013347;
  margin-top:     -0.2em;
}

article date {
  font-size: 12px;
  color: grey;
}

article h2 {
  font-family: "ff-tisa-web-pro-1", serif;
  display:     block;
  margin:      auto;
  font-size:   1.4em;
  color:       #a61300;
  margin-top:  2.03em;
  margin-bottom:  1.3em;
}

article h3 {
  font-family: "ff-tisa-web-pro-1", serif;
  display:     block;
  margin:      auto;
  font-size:   1.4em;
  color:       #a61300;
  margin-top:  2.03em;
  margin-bottom:  1.3em;
}

article p {
  -webkit-hyphens: auto;
  margin-top: 1.5em;
  margin-bottom: 1.5em;
  line-height: 26px;
  width: 685px;
}

article p + p {
  text-indent: 0
}

article p code {
  line-height: 0.9em;
}

article pre {
  font-size:     1.0em;
  margin: -0.4em -50px 1.4em -50px;
  padding-left: 50px;
  padding-top: 1.9em;
  padding-right: 50px;
  padding-bottom: 1.6em;
  background-color: #F2EEEC;
}

article pre.prettyprint {
  font-size:     1.0em;
  margin: -0.4em -50px 1.4em -50px;
  padding-left: 50px;
  padding-top: 1.9em;
  padding-right: 50px;
  padding-bottom: 1.6em;
  background-color: #F2EEEC;
  border: none;
}

article footer {
  color:          #356386;
  font-weight:    bold;
  margin-top:     1em;
  margin-bottom:  3em;
  font-size:      1.8em;
  font-family:    "ff-tisa-web-pro-1";
  border-top:     1px solid #013347;
}

article ul, article ol {
  margin-bottom: 1.5em;
}

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

section nav {
  width: 700px;
  margin: 3em;
  font-family: "open-sans-1", sans-serif;
}

section nav > header {
  margin-bottom: 3em;
  text-decoration: underline;
}

section nav .year {
  clear: both;
}

section nav .year h2 {
  font-family:    "ff-tisa-web-pro-1";
  font-size: 2em;
  display: block;
  float: left;
  width: 100px;
}

section nav .year .months {
  float: left;
  width: 600px;
}

section nav .year .months .month {
  font-family:    "ff-tisa-web-pro-1";
  margin-bottom: 1.5em;
}

section nav .year .months .month .name {
  font-weight: bold;
}

@media only screen and (max-width : 1030px) {
  body {
    float: left;
    margin: 0;
    padding: 0;
    width: 100%;
  }

  body > header {
    font-family:       "ratio-display-1", sans-serif;
    border-bottom:      1px solid #A9B5CC;
    background-color:  #F1EEE6;
    float:             left;
    width:             80%;
    height:            50px;
    position:          fixed;
    top:  0;
    left: 0;
    padding: 0;
    padding-left: 10%;
    padding-right: 10%;
  }

  body > header img {
    width: 40px;
    height: 40px;
    margin-top:5px;
    float: left;
  }

  body > header h1 {
    float: left;
    margin: 0;
    padding: 0;
    margin-top:5px;
  }

  body > header aside {
    display: none;
  }
  
  body > header nav {
    margin: 0;
    padding: 0;
    float: right;
  }

  body > header nav ul {
    margin: 0;
    padding: 0;
  }

  body > header li {
    display: inline;
  }

  body > section {
    margin: 0;
    margin-top: 50px;
    width: 100%;
    padding: 0;
  }

  body > section article {
    width: 80%;
    padding: 0;
    padding-left: 10%;
    padding-right: 10%;
    padding-top: 3em;
  }

  article p {
    min-width: 10%;
  }

  body > section pre {
    margin-left: 0px;
    margin-right: 0px;
  }

  body > section pre.prettyprint {
    margin-left: 0px;
    margin-right: 0px;
  }
}


@media only screen and (max-device-width: 480px) {
  body { 
    font-size: 300%;
    line-height: 1.5em;
  }
}