#body
{
margin: 0;
border: 0;
padding: 0;
height: 100%; 
overflow: hidden
}

#content
{
position: fixed; 
top: 13em;
bottom: 0;
left: 0;
right: 0;
overflow: auto;
border: solid thin  
}

#header
{
position: fixed; 
top: 0; 
left: 0; 
width: 100%; 
height: 13em; 
overflow: auto;
padding-left: 1em
}

a.button
{
display: inline;
border: outset .2em;
padding: .3em;
background: #b0c4de;
text-decoration: none;
color: black
}

body
{
background: #d3d3d3;
color: black;
font-size: 1.2em
}

code.prog
{
white-space: pre
}

div.error
{
background: yellow
}

div.error, div.respons
{
border: .1em solid black;
padding: 1em;
width: 30%;
margin-left: auto;
margin-right: auto
}

h1
{
font-size: 250%;
text-align: center;
color: #a52a2a
}

h2
{
text-align: center
}

h3
{
text-align: center
}

p.centre
{
text-align: center
}

td.dat
{
font-size: 90%;
font-style: italic;
padding-left: 1em
}