body {
  font-family: Times New Roman;
  font-size: 12pt;
  margin-left:10%;
  margin-right:10%;
}

h1 {
  font-size: 18pt;
  font-weight: bold;
  text-align:center;
}

h2 {
  font-size: 16pt;
  font-weight: bold;
}

h3 {
  font-size: 14pt;
  font-weight: bold;
}

h4 {
  font-size: 12pt;
  font-weight: bold;
}

div.subtitle {
  font-style:italic;
}

div.nav {
  visibility:hidden;
}

p.copyright {
  text-align:center;
  font-style:italic;
}

div.arttype {
  visibility:hidden;
}