body {
    background-color: white; font-size: 13pt;  
    margin-bottom: 2em; 
}

li {
    padding: 3pt; 
}

ul {
    list-style-type: disc; 
}

img {
    border: none; 
}

img.button {
    margin-left: 6pt; margin-right: 6pt; width: 8em;  
}

div.button {
    text-align: center; margin: 1em; 
}

.body {
    text-align: left; padding-left: 1em; padding-right: 1em;
    padding-top: 1em; font-family: Arial, Helvetica, sans-serif; 
}

.mnu {
    font-family: sans-serif; color: black; text-decoration: none; 
    padding: 1pt; background-color: #d7d7d7;
}

a.fakemenu {
    font-family: sans-serif; color: gray; text-decoration: none; 
    padding: 1pt; background-color: #a7a7a7;
}

div.mnu1 {
    margin: 0; margin-bottom: 3pt; font-size: 6.5pt; font-weight: bold;
    background-color: #d7d7d7; border: #FFFCD9 1pt solid;
    padding: 0.5pt; width: 90px; text-align: center; 
}

div.mnu2 {
    margin: 0; margin-bottom: 6pt; font-size: 9pt; font-weight: bold;
    background-color: #d7d7d7; border: #FFFCD9 1pt solid;
    padding: 1pt; width: 90px; text-align: center; 
}

div.xmnu {
    margin: 0; margin-bottom: 6pt; font-size: 9pt; font-weight: bold;
    background-color: #a7a7a7; border: #FFFCD9 1pt solid;
    padding: 1pt; width: 90px; text-align: center; 
}

.todo {
    margin: 1em; border: gray 1pt solid; padding: 1em; background-color: #eee;
}

.xsizer {
    position: absolute; border: #eee 1pt dashed; top: 0; left: 0; width: 700; height: 500; 
}

.menu {
    position: absolute; top: 0; left: 5; height: 95; width: 135; 
    padding-top: 5;
    padding-left: 1;
    background-image: url(/artsearch/res/bg.gif);
    background-repeat: repeat-y; 
}

h1, h2, h3, h4, h5 { font-family: Helvetica, Arial, sans-serif; }