body {
  font-family: "Source Sans Pro";
  /* background:#a0a0a0; */
  background: white;
  color: black;
  margin: 2ex;
  text-align: center;
}

code {
   max-width: 55em;
   overflow: auto;
}

div {
  /* background:#f0f0f0;  */
  text-align: left;
  padding: 0px; margin: 0px;
  overflow: visible;
}

h2 { font-size: medium; }

h1 {
   font-size: 150%
   margin:20px 0px 0px 0px;
   max-width: 20em;
}

h1 a {
   text-decoration: none;
   color: black;
}

h1 a:hover {
   text-decoration: underline;
   color: blue;
}

#content {
  width: 28em;
  margin-left: auto;
  margin-right: auto;
  overflow: visible;
  margin-bottom: 8ex;
}

#footerbuttons {
  margin-top: 1ex;
  margin-bottom: 1ex;
}

div.box {
  width: 28em;
  max-width: 28em;
  margin-left: auto;
  margin-right: auto;
  overflow: visible;
}


#footer {
  width: 100%;
  margin-left: auto;
  margin-right: auto;
}

#footer p {
  width: 100%;
  max-width: 100%;
}

p {
  line-height: 160%;
  margin:0px 0px 1ex 0px;
  max-width: 28em;
}

li {
    max-width: 24em;
}

pre {
    max-width: 120em;
    overflow: auto;
}

blockquote {
    max-width: 25em;
}

.dateheader {
   font-weight: bold;
   color:#009900;
}

.header {
    font-size: 150%;
    display: block;
    margin-bottom: 1ex;
}

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

.header a:hover {
    color: blue;
}

.inlinepage {
    border: 0px;
    margin: 0px;
    padding: 0px;
    max-width: 50em;
    overflow: visible;
}

div#nav {
  /* background:#eeeeaa; */
  border-left:1px solid #900;
}

.linkbox {
  /* background:#ddddff; */
  border-left:1px solid #009;
  margin-bottom:2ex;
}

div#contact {
  margin-top: 2ex;
  /* background:#ddffdd; */
  border-left:1px solid #090;
}

div.linkbox h2 {
  background-color:#000099;
  color: white;
  padding: 0px 5px;
  margin: 0px;
}

div#contact h2 {
  background-color:#009900;
  color: white;
  padding: 0px 5px;
  margin: 0px;
}

div#nav h2 {
   background-color:#990000;
   color: white;
   padding: 0px 5px;
   margin: 0px;
}

div#nav ul, div.linkbox ul, div#contact ul {
   margin: 4px; padding: 0px;
   list-style-type: none;
   text-decoration: none;
}

div#nav li, div.linkbox li, div#contact li {
   max-width: 30em;
   margin-bottom: 1ex;
   line-height: 100%;
   white-space: nowrap;
}

div#nav li a, div.linkbox li a, div#contact li a {
   text-decoration: none;
   color: black;
}

div#nav li a:hover, div.linkbox li a:hover, div#contact li a:hover {
   margin-bottom: 1ex;
   text-decoration: none;
   color: black;
}


.button {
    background-color: #f60;
    color: white !important;

    border-left:   1px solid #c96;
    border-top:    1px solid #ca9;
    border-right:  1px solid #930;
    border-bottom: 1px solid #310;

    padding: 0px 0.5em 0px 0.5em;
    font-weight: bold;
    font-size: small;
    text-decoration: none; 
}
.button:hover { background: #f90; }

.greenbutton {
    background-color: #093;
    color: white; !important;

    border-left:1px solid #3C6;
    border-top:1px solid #3C6;
    border-right:1px solid #063;
    border-bottom:1px solid #063;

    padding: 0px 0.5em 0px 0.5em;

    font-size: small;
    font-weight: bold;
    text-decoration: none;

    margin:0px;
}
.greenbutton:hover { background: #0c3; }

a.tag {
    color: #696;
    font-size: small;
    font-weight: bold;
    text-decoration: none;
}

a.uf {
    background:#ccffcc;
    text-decoration: none;
    border-bottom: 1px solid green;
}

p.contact {
    text-indent:0em;
}

p.contact a {
  text-decoration: none;
}

#all {
    clear: both;
}

.pagedate,
.pagelicense,
.pagecopyright {
    font-size: small;
    clear: none;
    font-style: normal;
    display: block;
    margin-top: 1em;
    margin-bottom: 2em;
}


.links {
    font-size: small;
    width: 100%;
}

.links a {
    text-decoration: none;
    color: #666;
}

.links p {
    max-width: 80em;
}