/* Main set-up of fonts and margin-like stuff */

html
{
  font-size:14px;
  overflow-y: scroll;
}

html, body
{
  border:0px;
  margin:0px;
  padding:0px;
}

body,ul,ol,p,th,td,tr,dl,h1,h2,h3,h4,div,small
{  
  font-family: sans-serif; 
}                                                 

pre,tt
{  
  font-family: monospace; 
}

a:link
{
  color:blue;
  text-decoration: none;
}

a:visited
{
  color:red;
  text-decoration: none;
}

a:hover
{
  text-decoration: underline;
}

a:active
{
  color:red;
  text-decoration: underline;
}

/* Top banner on every page */
#logo
{
/*min-width:100%;
max-width:200px;
height:auto;
padding:0px;
margin:0px;*/
padding-left:10px;
padding-top:10px;
}

/* Removing IE's image link border */
a img
{
  border:0px;
}

/* The entire page */
#main
{
  max-width:800px;
  margin:auto;
  padding:0px;
  border-style:none solid solid solid;
  border-width:1px;
  border-color:black;
  background-color:#ffffff;
}

/* The content below the top banner */
#content
{
  padding:10px;
}

/* Getting the main table to be responsive */

#main-table
{
  table-layout:fixed;
}

.stretch-input /* The input fields that should contract at some point */
{ 
/*  box-sizing:border-box;
  width:100%; */      /* Jens; why is 100% not working in IE? */
  width:6em;
}

body
{
  background-color: #999;
}

@media screen and (min-width: 800px)
{
  #main
  {
    box-shadow: 1px 2px 5px 4px rgba(0,0,0,.2);
    margin-top:5px;
    margin-bottom:5px;
    border-style:solid;
  }
}

/* Information link */

#information
{
  text-align:right;
  font-variant:small-caps;
}

#information a:link
{
  text-decoration:none;
}

#source
{ 
  font-size:10px;
/*  text-align: right; */
}