@import url("site.css");

body { font-family: 'Noto Serif', Cambria, serif;
       max-width: inherit }

div.content {
  max-width:60em;
}

div.content > div {
  color: inherit;
  background-color: inherit; 
  padding:0em;
  border:none;
  max-width: 42em
}

div.masthead {
  color: floralwhite;
  background-color:darkgreen; /* not #535; */
  padding:0.5em;
  border:thin outset black;
  max-width: 100%
}

h1.main { font-size: 300%; font-family:monospace; margin:0px }

p.warning { font-size: 80%; text-align: center }
  
body a {
  color: #614051; font-weight: bold
}

body a:hover { text-decoration: underline }

div.content div.inset.float { border: thin inset black; float:right; clear: both; margin-left: 1%; margin-bottom: 1% }

.run { font-size: 90%; font-weight: bold; font-style: italic }