/*
@import url('noto.css');
@import url('lato.css');
*/
@import url('fonts_local.css');

body {
    font-family: 'Lato';
    font-size:  10pt;
}

h1, div.nav-wrapper {
    font-size:  18pt;
    font-width: normal;
    font-weight: bold;
    font-stretch: normal;
}

body {
  padding-top:  0cm;
  /*
  border:   thin solid red;
  */
  /*
  background-image: url('images/lines-2.svg');
  background-position: 0cm 1cm;
  background-repeat: repeat-y;
  background-attachment: fixed;
  background-color: rgba(0,0,0,0.1);
  */
}


/* to make it not scroll
h1, div.nav-wrapper {
    z-index: 0;
    position: fixed;
    top: 50px;
    left:15px;
}
*/

a.menu-item:link {
    color:  black;
    text-decoration:  none;
}

a.menu-item:visited {
    color:  black;
}

a.menu-item:focus {
    color:  black;
}

a.menu-item:hover {
    text-decoration:  underline;
}

a.menu-item:active {
    text-decoration:  underline;
}

div.nav {
    float: left;
    width: 17em;    /* refers to font-size of wrapper */
    font-size:  10pt;
    font-width: normal;
    font-weight: normal;
    font-stretch: normal;
    padding-left:  2em;
    padding-top:  0em;
}

div.menu {
  margin-top:  2cm;
  margin-left:  2em;
}

h1 {
    padding-top: 1cm;
}

div.main, div.nav-wrapper  {
    padding-top: 1cm;
}

div.main {
  float: left;
  width: 70%;
  max-width: 50em;
  padding-left: 4em;
  font-weight: normal;
  font-style: normal;
  margin-bottom: 1cm;
}

div#teaser-container {
  margin-bottom: 1cm;
}

div.teaser {
  font-weight: bold;
  font-style: normal;
  max-width: 50em;
  margin-left: 4em;
  margin-right: 4em;
}

h2 {
    font-size:  12pt;
    font-width: normal;
    font-weight: bold;
    font-stretch: normal;
    padding-top: 1.5em;
}

div.section-body {
  margin-top: 1cm;
  font-weight: normal;
  font-style: normal;
  margin-left: 2em;
}

h3 {
    font-size:  10pt;
    font-width: normal;
    font-weight: bold;
    font-style: normal;
    font-stretch: normal;
    padding-top: 0.5em;
}

div.subsection-body {
  font-weight: normal;
  font-style: normal;
  margin-left: 1em;
}



/*
a.menu_item {
    display:    block;
}
*/

span.todo {
    background-color: yellow;
}

@media screen and (max-width: 600px) {
    div.nav, div.main {
        width: 100%;
    }
}

div#footer {
  clear: both;
  width: 100%;
  max-width: 50em;
  padding-left: 4em;
  padding-right: 4em;
  font-weight: normal;
  font-style: normal;
  margin-bottom: 0.2cm;
  align-content: center;
}


/*
div.nav { border: thin solid red; }
div.subsection-body {   border: thin solid pink; }
div.main { border: thin solid blue; }
div.teaser { border: thin solid green; }
div.section-body { border: thin solid teal; }
*/