@import url('https://fonts.googleapis.com/css?family=Roboto+Mono');

html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font-family: 'Source Sans Pro', sans-serif;

}

html {
  height: 100%;
}

body {
  min-height: 100%;
  margin: 0 auto;
  background-color: #E0E0E0;
  padding:1em;
}

.supercontainer {
  max-width:600px;
  padding-top:2em;
}

.centertitle { 
  margin: 0 auto;
  text-align: center;
  font-weight: 600;
  font-size:14px;
  max-width:600px;
}

.centerhome { 
  margin: 0 auto;
  text-align: center;
  font-weight: 600;
  font-size:14px;
  margin:3em;
}

.centerhome a:link {
    color:#00004d; 
}

.centerhome a:hover {
  color:#fcd12a; 
  background-color:none;
}

.bodyarea {
  font-size:14px;
  margin-left: auto;
  margin-right: auto;
  max-width:500px;
  font-weight:300;
}

.bodyarea a:link {
  text-decoration-line: underline; 
  color:#00004d;
}

.bodyarea a:visited {
  text-decoration-line: underline; 
  color:#00004d;
}

.bodyarea a:hover {
  text-decoration-line: 
  underline; 
  color:#fcd12a; 
  background-color:#fcd12a;
}

p.sourceheading {
font-weight:600;
line-height:3em;
}

p {margin-top:20px;
}

p.bibliography {
    padding-left: 1.5em;
    text-indent:-1.5em;
}

.filessection {
  margin-left:60px;
}

.filessection a:link {
  font:4em "Roboto mono";
  text-decoration: none;
  font-style: italic;
  font-weight: lighter;
}

.filessection a:hover {
  color:#fcd12a; 
  background-color:#fcd12a; 
}

ul.a {
  list-style: none;
  padding: 0;
}
ul.a li {
  padding-left: 1.3em;
  padding-bottom:5px;
}
ul.a li:before {
  content: "\f1c5"; /* FontAwesome Unicode */
  font-family: FontAwesome;
  display: inline-block;
  margin-left: -1.3em; /* same as padding-left set on li */
  width: 1.3em; /* same as padding-left set on li */
}