html, body {
  margin: 0;
  height: 100%;
  width: 100vw;
  overflow-x: hidden;
}

/* Set the background color for the page and define the font size and family */
body {
  font-family: 'Open Sans', sans-serif;
  font-size: 11pt;
  background-color:#E9EDF6;
}

#main {
  width: 120ch;
  max-width: 100%;
  margin: auto;
  padding: 1em;
  box-sizing: border-box;
}
.headerimg {
  overflow-x: hidden;
}

/* Set main on non-IE browsers to have a 10% margin */
*html #main {
  margin-right: 5%;
} 


/* Header style */
h1 {
  margin:1em 0em 1em 0em; 
  padding: 0.5em 1.25em 0.5em 1.25em;
  font-size: 1.5em;
  color:#DDE8EC;
  background-color:#000029;
}


/* main paragraph style */
p {
  font-size: 1em;
  margin: 0em 0em 0em 0em;
}


/* Navigation at the page top */
.navigation {
  margin: 1em 0em 1em 0em;
  font-size: 0.7em;
  font-weight:bold;
}

.navigation .left  { float:left }
.navigation .right { float:right }


/* define the <A HREFs */
a {
  color: #404040;
  text-decoration: none;
  font-weight:bold;
}

a:hover {
  color: #173B94;
  text-decoration: underline;
}


/* Some general formatting things */
hr {
  border-color: #A1A1A1;
}

#conferences {
  position: relative;
}

#stats {
  position: absolute;
  right: 0;
  border: none;
  border-radius: 5px;
  background: rgba(212, 216, 224, 1);
  padding: 1em;
}

#stats-docs, #stats-proceedings {
  display: flex;
  flex-direction: column;
  align-items: center;
}
.stats-name {
  text-transform: uppercase;
}

#stats-proceedings { margin-bottom: 1em; }

.stats-num {
  font-size: 2em;
}

#dl-banner {
  height: 93px;
}

@media screen and (max-width: 768px) {
  #dl-banner {
    height: 40px;
  }
  .stats-num {
    font-size: 1em;
    padding-right: 0.5em;
  }
  #stats-proceedings > .stats-name::after {
    content: ' \2014 ';
  }
  #stats {
    position: relative;
    background: none;
    padding: 0;
    margin: 0.3em 0 0.5em 0.6em;
    height: 1em;
  }
  .stats-name {
    text-transform: capitalize;
  }
  #stats-docs, #stats-proceedings {
    display: inline-flex;
    flex-direction: row;
    align-items: center;
  }
}

