/*===== Style definitions =====*/

body {
  font-family: sans-serif;
  margin: 0;
  padding: 0;
  background: #e8e8e8;
  width: 100%;
  text-align: center;
}

#container {
  min-height: calc(100vh - 85px);
  margin-top: -20px;
  margin-right: auto;
  margin-bottom: -20px;
  margin-left: auto;
  padding-top: 25px;
  padding-right: 20px;
  padding-bottom: 25px;
  padding-left: 20px;
  background: #ffffff;
  width: 960px;
  text-align: left;
}

div.summary {
  display: none;
  padding: 10px;
  border: 1px solid gray;
  margin-top: 0px;
  margin-bottom: 10px;
}

div.abstract {
  display: none;
  font-size: 80%;
  padding: 10px;
  border: 1px solid gray;
  margin-top: 0px;
  margin-bottom: 10px;
}

div.bibtex {
  display: none;
  border: 1px solid gray;
  margin-top: 0px;
  padding: 10px;
}

pre.bibtex {
  white-space: pre-wrap;       /* Since CSS 2.1 */
  white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
  white-space: -pre-wrap;      /* Opera 4-6 */
  white-space: -o-pre-wrap;    /* Opera 7 */
  word-wrap: break-word;       /* Internet Explorer 5.5+ */
  margin: 0px;
}

input.hide {
  margin-top: 10px;
}

/* Style definitions for the header. */
#header {
  position: relative;
  margin: 0;
  padding: 0;
}

#header h1 {
  font-size: 28px;
}

/* Style definitions for the menu. */
#menu {
  font-size: 18px;
  position: absolute;
  right: 0;
  top: 5px;
  margin: 0;
  padding: 0;
}

#menu li {
  display: inline-block;
  margin: 0 0.5em;
  vertical-align: middle;
}

/* Style definitions for section headers. */
h1 {
  font-size: 24px;
}

h2 {
  font-size: 20px;
}

h3 {
  font-size: 16px;
}

h4 {
  font-size: 12px;
}

/* Style definitions for the footer. */
#footer {
  margin-top: 0px;
  margin-right: auto;
  margin-bottom: 0px;
  margin-left: auto;
  padding-top: 0px;
  padding-right: 20px;
  padding-bottom: 0px;
  padding-left: 20px;
  height: 65px;
  background: #ffffff;
  width: 960px;
  text-align: center;
}