a.button {
  text-align: center;
  background-color:#ffcc33;
  border-top: 2px solid #ffff99;
  border-left: 2px solid #ffff99;
  border-right: 2px solid #cc9933;
  border-bottom: 2px solid #cc9933;
  border-style: outset;
  display: block;
  line-height: 20pt;
  text-decoration: none;
  heigh: 100px;
  width: 130px;
  position: fixed;
  bottom: 5px;
  right: 5px;
}

a.button:hover {
  color: #990000;
  background-color: yellow;
  border-style: inset;
}

tt {color: green}

em {color: brown; font-style: italic}

a:hover {text-decoration: none; font-style: italic;
         color:red; background-color: pink}

a {text-decoration: none; color:blue}

.highlight {color: red; font-weight: bold}

/****** div ******/

div.box        { font-family: Helvetica;
                 color: black;
                 margin: 2.0%;
                 margin-top: 1.0%;
                 padding: 1.0%;
                 border: thin solid silver;
                 width: 90.0%;
                 background-color: #F0F0E0; }

/***** header *****/
h1             { font-family: geneva, arial, monospace;
                 font-size: large; }

h2             { font-family: geneva, arial, monospace;
                 font-size: large;
                 color: #888888;
                 margin-top: 10pt; }

h3             { font-family: Helvetica;
                 font-size: medium;
                 color: #888888;
                 margin-top: 20pt; }

h4             { font-family: Helvetica; }


/***** for row rollover javascript *****/
#demo tr.ruled {
  background:#9cf;
}