body {
  margin: 0 auto;
  padding: 0;
  font-family: Helvetica, Arial, sans-serif;
  font-style: normal;
  font-variant: normal;
  font-size: 15px;
  line-height: 1.5;
  word-spacing: normal;
  text-decoration: none;
  text-transform: none;
  text-align: left;
  text-indent: 0ex;
}

.skip-link {
  position: absolute;
  top: -100px;
  left: 0;
  padding: 8px 16px;
  background: #000;
  color: #fff;
  font-weight: bold;
  z-index: 100;
  text-decoration: none;
}

.skip-link:focus {
  top: 0;
}

p.announce {
  color: #0e5d8e;
  font-weight: bold;
}

p.papertitle {
  font-size: 14px;
  font-weight: bold;
  margin: 0 0 -10px 0;
  line-height: 20px;
}

a.papertitle {
  font-size: 12px;
}

a.paperlink {
  font-size: 14px;
  font-weight: bold;
  color: black;
  text-decoration: underline;
}

a.paperlink:hover {
  text-decoration: none;
  color: black;
}

#wrap {
  background: #ffffff;
  color: #303030;
  margin: 0 auto;
  width: 100%;
  max-width: 760px;
}

#header {
  position: relative;
  font-family: Helvetca, Arial, sans-serif;
  color: white;
  background: black;
  clear: both;
  margin: 30px 0 20px 0;
  padding: 10px;
  height: 50px;
  border-bottom: 3px solid #ffffff;
}

#header h1 {
  position: absolute;
  top: 16px;
  left: 15px;
  width: 250px;
  font-size: 36px;
  margin: 0 0 0 0;
  line-height: 1.1em;
}

#avmenu {
  font-family: Helvetica, Arial, sans-serif;
  clear: left;
  float: left;
  left: 15px;
  width: 150px;
  margin: 0 10px 10px 0;
  padding: 0;
  /*          letter-spacing: 2px; */
  font-weight: bold;
  font-size: 18px;
}

#avmenu ul {
  list-style: none;
  width: 150px;
  margin: 0 0 20px 0;
  padding: 0;
  font-size: 1.1em;
}

#avmenu li {
  margin-bottom: 4px;
}

#avmenu li a {
  /*               letter-spacing: 2px;  */
  height: 22px;
  text-decoration: none;
  color: black;
  display: block;
  padding: 6px 0 0 15px;
  border-bottom: 3px solid #ffffff;
  line-height: 1em;
}

#avmenu li a:hover {
  background: #f4f4f4;
  background: black;
  color: white;
}

#extras {
  float: right;
  width: 150px;
  margin: 0 0 10px 0;
  padding: 0;
  font-size: 1em;
  line-height: 1.5em;
}

#extras p {
  margin: 0 0 1.5em 0;
}

#extras2 {
  float: right;
  width: 250px;
  margin: 0 0 10px 0;
  padding: 0;
  font-size: 1em;
  line-height: 1.5em;
}

#extras2 p {
  margin: 0 0 1.5em 0;
}

#content {
  margin: 0 160px 20px 150px;
  padding: 0 35px 0 15px;
  line-height: 1.2em;
  text-align: left;
}

#content2 {
  margin: 0 0px 20px 150px;
  padding: 0 35px 0 15px;
  line-height: 1.2em;
  text-align: left;
}

#content h2 {
  font-family: Helvetica, Arial, sans-serif;
  /*              letter-spacing: 1px;*/
  font-size: 1.5em;
  margin: 2em 0 0.5em 0;
  line-height: 1.1em;
}

#top h2 {
  font-family: Helvetica, Arial, sans-serif;
  /*          letter-spacing: 1px; */
  font-size: 1.8em;
  margin: 28px 0 0.5em 0;
  line-height: 1.1em;
}

#content img {
  padding: 1px;
  display: inline;
  background: #ffffff;
  border: 4px solid #f0f0f0;
}

#content ul {
  padding: 0;
  margin-left: 15px;
  margin-bottom: 2em;
}

#content2 ol {
  margin-bottom: 4em;
  margin-top: 1em;
}

#content2 li {
  margin-bottom: 2em;
}

#content li {
  margin-bottom: 1.5em;
}

li.s {
  margin-bottom: 0em;
  margin-top: 0em;
}

ul.paper {
  text-align: left;
}

h3 {
  font-family: sans-serif;
  font-size: 1.5em;
  line-height: 1.1em;
  margin: 20px 0px 10px 0;
}

h4 {
  font-family: sans-serif;
  font-size: 1.1em;
  margin: 20px 0 -10px 0;
}

a {
  text-decoration: underline;
  color: #c10000;
  /* font-weight: bold; */
}

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

a img {
  border: 0;
}

#footer {
  clear: both;
  margin: 0 auto;
  padding: 10px 0 20px 0;
  border-top: 1px solid #f0f0f0;
  height: 50px;
  width: 100%;
  text-align: left;
  font-size: 13px;
}

#footertext {
  margin: 0 160px 20px 150px;
  padding: 0 0 0 15px;
}

#footertexticon {
  margin: 0 0px 20px 150px;
  padding: 33px 0 0 15px;
}

#footerleft {
  float: left;
  margin-left: 7px;
}

ul.links {
  list-style: none;
  color: black;
  font-size: 12px;
  padding: 0;
  margin-left: 0;
}

ul.links li {
  margin-left: 0em;
  margin-top: 1em;
  line-height: 1em;
}

h3.links {
  font-family: sans-serif;
  letter-spacing: 1.3px;
  font-size: 1.3em;
  margin: 5px 0 10px 0;
}

ul.pubs {
  list-style: square;
}

ul {
  list-style: square;
}

/*
#list2 ul {
        margin-left: 12px;
        padding-left: 12px;
        padding-top: 12px;
        padding-bottom: 1px;
        margin-top: 3px;
        list-style-type: square;
}

#list2 li {
              margin: 10px;
}
*/
#list2 ul {
  margin-left: 12px;
  padding-left: 12px;
  list-style-type: disc;
  margin-top: 16px;
  line-height: 100%;
  list-style-type: disc;
}

#list2 li {
  margin-bottom: 10px;
  line-height: 130%;
}

/*# sourceMappingURL=styles.css.map */