/* test style sheet */
body {
            background-color: #eeeeff;
            background-image: url(images/bg2.gif);
            text-align: left;
            margin-top: 0px;
            margin-left: 0px;
            margin-bottom: 0px;
 }

div#all {
            font-family: courier new, courier, serif;
            color: #4444bb;
            font-size: 12pt;
            margin-left: 14em;
            padding: 2em;
 }

div#leftbit {
            float: left;
            background: #4444bb;
            background-image: url(images/bg1.gif);
            width: 12em;
            min-width: 190px;
            font-family: verdana, arial, helvetica, helv, sans-serif;
            color: #ccccff;
            text-align: center;
            font-size: 12pt;
            padding: 0;
            font-weight: bold;
            border-right: solid thick #848484;
 }


h1 {
            font-size: 160%;
            font-weight: bold;
 }

a:link {
            font-weight: bold;
            text-decoration: underline;
            color: #4444bb;
 }

a.menu {
            font-weight: bold;
            text-decoration: none;
            font-size: 120%;
            color: #ccccff;
 }

a:visited {
            font-weight: bold;
 }

a.menu:visited {
            font-weight: bold;
 }


a:hover {
            color: #0000ff;
 }

a.menu:hover {
            font-weight: bold;
            color: #ffffff;
 }

acronym {
            border-bottom: 1px dotted #848484;
 }

acronym:hover {
            cursor: help
 }