a   { text-decoration: none }

a:link  {
            color: #00007f
        }
a:visited  {
            color: #00007f
        }

a:active  {
              color: #00007f
          }

a:hover  {
              color: #ff007f
          }

em  {
        font-style: normal;
        font-size: 150%
    }

li  {
        list-style-type: none
    }

h2  {
        margin: 0  0  10px  0;
        padding: 5px;
        border-width: 0  0  2px  20px;
        border-color: #aa007f;
        border-style: solid
    }

h3  {
        margin: 0  0  10px  0;
        padding: 5px;
        border-width: 0  0  2px  30px;
        border-color: #aaaaff;
        border-style: solid;
    }

dl dt  {
           margin-top: 10px;
       }

.small {
           font-size: 70%
       }

.list   {
            margin: 10px;
            padding: 10px;
            border-width: 1px;
            border-color: #aa007f;
            border-style: dashed
        }

.listtitle  {
                margin-bottom: 5px;
                padding: 5px;
                border-width: 0px  0px  1px  0px;
                border-color: #aa007f;
                border-style: solid
            }

.thanks {
           font-size: 70%
       }

body    { margin: 10px; }
#body   {
            margin: 0px;
            padding: 10px;
            border-width: 1px;
            border-color: #aaaaff;
            border-style: dashed
        }

#top    {
            padding-bottom: 10px;
            text-align: left;
            width: 100%;
            float: none;
            clear: both
        }

#bottom  {
             font-size: smaller;
             padding-top: 10px;
             text-align: left;
             width: 100%;
             clear: both
         }

#bottom .totop   {
                    width: 30%;
                    float: left
                }

#bottom .changed    { text-align: right; width: 30%; float: right }

#bottom .counter   {
               width: 30%;
               float: left
           }

.image  { width: 30%; float: right }