/*Style for whole page size 600px and up*/
html {
  background: #c9dbe9;
  background: -webkit-linear-gradient(top, #c9dbe9 0%, #fff 100%);
  background: -linear-gradient(top, #c9dbe9 0%, #fff 100%);
  background: -moz-linear-gradient(top, #c9dbe9 0%, #fff 100%);
}

body {
  max-width: 600px;
  margin-left: 250px;
  margin-right: auto;
  margin-top: 4em; /* should be the height of nav FIXME */
  background-color: white;
}

h1 {
  color: darkblue;
  background-color: lightgrey;
  font-variant: small-caps;
}

/*Style for the header*/
header h1.title {
  font-size: xx-large;
  text-align: center;
}

header h1.title em {
  font-variant: normal;
  color: grey;
  font-size: x-small;
  font-style: italic;
  text-align: center;
}

header h2.author {
  display: none;
}

header h3.date {
  text-align: center;
  font-size: x-small;
  font-style: italic;
  font-variant: normal;

}

header h3.date:before {
  content: "(rev. ";
}

header h3.date:after {
  content: ")";
}

/*Style for the navigation*/
nav {
  position: fixed;
  background-color: white;
  left: 10px;
  border-width: 3px;
  border-color: grey;
  border-style: solid;
  border-radius: 10px;
}

nav ul{
  list-style-type: none;
  margin-left: 0;
  padding-left: 0;
  margin-right: 10px;
  text-align: center;
}

nav li {
  font-variant: small-caps;
}

nav li:before {
  content: "☞";
  padding-left: 0.5em;
}

/*Style for the body*/
body h1 {
  font-size: x-large;
  padding-left: 0.1em;
  text-align: center;
}

body h1:before {
  content: "§ ";
}

header h1:before {
  content: "";
}

body h2 {
  font-size: large;
  padding-left: 2em;
  font-weight: normal;
  text-indent: -1em;
  margin-bottom: 0.5em;
}

body p {
  font-style: italic;
  text-indent: -1em;
  padding-left: 3em;
  margin-top: 0.5em;
}