/* generated with great assist from TM's StyleAssistant V1.0.31 */
                /* http://www.styleassistant.de */

BODY
{
    Background-Color: #C8C8C8;
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 1px;
}



/* making specifick look of "topmenu" */
A.topmenu 
{
    Color: #4E4E4E;
    Font-Family: Arial, Helvetica, Sans-Serif;
    Font-Size: medium;
    Font-Weight: bold;
    Text-Decoration: underline;
    white-space: nowrap;
}

A.topmenu:LINK
{
    padding: 2px 17px 2px 17px;
}

A.topmenu:VISITED
{
    padding: 2px 17px 2px 17px;
    Text-Decoration: none;
}

A.topmenu:HOVER
{
    Color: #C8C8C8;
    Background-Color: #4E4E4E;
    Text-Decoration: none;
}

A.topmenu:ACTIVE
{
    Color: #C8C8C8;
    background-color: #4E4E4E;
    Text-Decoration: none;
}

/* layout of word that is no longer a link... */
td.non
{
    Color: #C8C8C8;
    Background-Color: #4E4E4E;
    Font-Family: Arial, Helvetica, Sans-Serif;
    Font-Size: medium;
    Font-Weight: bold;
    padding: 0px 17px 2px 17px;
    white-space: nowrap;
}

/* making sure that there is no magin to the left of "Home" */

A.topmenuleft
{
    Color: #4E4E4E;
    Font-Family: Arial, Helvetica, Sans-Serif;
    Font-Size: medium;
    Font-Weight: bold;
    Text-Decoration: underline;
}

A.topmenuleft:LINK
{
    padding-right: 17px;
    padding-top: 2px;
    Padding-Bottom: 2px;
}

A.topmenuleft:VISITED
{
    padding-right: 17px;
    padding-top: 2px;
    Padding-Bottom: 2px;
    Text-Decoration: none;
}

A.topmenuleft:HOVER
{
    Color: #C8C8C8;
    Background-Color: #4E4E4E;
    Text-Decoration: none;
}

A.topmenuleft:ACTIVE
{
    Color: #C8C8C8;
    background-color: #4E4E4E;
    Text-Decoration: none;
}

/* And to the right... */

A.topmenuright
{
    Color: #4E4E4E;
    Font-Family: Arial, Helvetica, Sans-Serif;
    Font-Size: medium;
    Font-Weight: bold;
    Text-Decoration: underline;
}

A.topmenuright:LINK
{
    padding-left: 17px;
    padding-top: 2px;
    Padding-Bottom: 2px;
}

A.topmenuright:VISITED
{
    padding-left: 17px;
    padding-top: 2px;
    Padding-Bottom: 2px;
    Text-Decoration: none;
}

A.topmenuright:HOVER
{
    Color: #C8C8C8;
    Background-Color: #4E4E4E;
    Text-Decoration: none;
}

A.topmenuright:ACTIVE
{
    Color: #C8C8C8;
    background-color: #4E4E4E;
    Text-Decoration: none;
}



div#topmenu
{
    text-align: right;
}


div.center
{
    text-align: center;
}

Table.right
{
    margin-left: auto;
    margin-right: 0px;
}
table.intro
{
    margin-left: auto;
    margin-right: auto;
    width: 70%;
    Border-Width: 0px;
}

td.intro
{
    text-align: justify;
    Background-Color: #D0D0D0;
    width: 49%;
}

td.sep
{
    Background-Color: #808080;
    width: 1%
}

Table.main
{
    text-align: justify;
    margin-left: auto;
    margin-right: auto;
    width: 90%;
    Border-Width: 0px;
}

TD.maincol1
{
    width: 90%;
    Background-Color: #D0D0D0;
    text-align: justify;
}

TD.maincol2
{
    width: 90%;
    background-color: #DADADA;
    text-align: justify;
}

td.linkcol
{
    background-color: white;
    Border-Bottom-Color: Black;
    Border-Top-Color: Black;
    text-align: right;
    width: 7%;
}

IMG
{
    Border-Width: 0px;
}

img.comlogo
{
    width: 381px;
    height: 113px;
    border: 0px;
}



/* Validation link should change when mouse hover */
/* Copied from: http://selfaktuell.teamone.de/artikel/css/mouseover/#a4 */

a#xhtml       { display:block; 
                background-image:url(http://www.dbhome.dk/learningtoprogram/pics/xhtml_grey.gif); 
                width:88px; height:31px }
a#xhtml:hover { background-image:url(http://www.dbhome.dk/learningtoprogram/pics/valid-xhtml10.gif); }


/* Python IDLE colours */
pre
{
    background-color: white
}

span.great
{
    color: rgb(165, 9, 90);
}

span.quote
{
    color: rgb(221, 0 , 0);
}

span.string
{
    color: rgb(0, 170, 0);
}

span.state
{
    color: rgb(255, 119, 0);
}

span.out
{
    color: rgb(0, 0, 255);
}