html, body
{
    height: 100%;
}

body
{
    text-align:         center;
    font-family:        arial, tahoma, sans-serif;
    font-size:          10pt;
/*    min-width:          1100px; */
    background-color:   #d9dafa;
    color:   black;
}

.corner
{
    background-repeat no-repeat;
    height:100px;
    width:100px;
    position:absolute;
    z-index:1;
}

.topbottom
{
    background-repeat repeat-x;
    height: 50px;
    margin:0 100px;
    z-index:0;
    width:100%;
}

.side
{
    background-repeat:  repeat-y;
    margin:0;
    height:100%;
    z-index:0;
}

#page
{
    text-align: center;
    background-color:   #d9dafa;
    margin: auto 50px;
    height:100%;
    position:relative;
    overflow:auto;
}

A
{
    text-decoration: none;
}

A:link,A:visited
{
    color:              #00007F;
}

A:active,A:hover
{
    color:              #7F7FFF;
}

IMG
{
    border:0;
}

H1, H2, H3
{
    margin: 25px 25px;
    color:navy;
}

P
{
    margin: 0 50px;
}

UL
{
    margin: 0 25px;
}

#selector
{
    text-align: center;
    border:     0;
    position:   absolute;
    left:       10px;
    top:        10px;
    width:      200px;
    background-color:transparent;
}

#selectorframe
{
    position:absolute;
    top:0;
    left:0;
    height:1000px;
    width:250px;
    border:0;
    background-color:transparent;
}

#info
{
    text-align: center;
    border:     0;
    position:   absolute;
    right:      10px;
    top:        60px;
    width:      200px;
    color:      black;
    font-size:  8pt;
}

#info H1
{
    font-size:  18pt;
}

#info H2
{
    margin:     0;
    color:      #0000AF;
    font-size:  10pt;
}

.title
{
    font-size:32pt;
    font-weight:bold;
    color:navy;
    text-align:center;
}

HR
{
    height:0;
    color:black;
    border-color:black;
    width:50%;
    margin:auto;
}


PRE
{
    background-color:white;
    color:#00007F;
    text-align:left;
    width:80%;
    margin:auto;
    padding:10px;
    white-space: pre-wrap;
}

.backlink
{
    position:absolute;
    left:250px;
}

PRE.maths
{
    width:320px;
    margin:auto;
}