/* Base HTML elements */

.code {
  font-family: "Courier New", Courier;
  font-size: 10pt; color: black }
.comment {
  font-family: "Courier New", Courier;
  font-size: 10pt; italic; color: darkred }

code {
  font-family: "Courier New", Courier;
  font-size: 10pt; color: black }
comment {
  font-family: "Courier New", Courier;
  font-size: 10pt; italic; color: darkred }

body {
    font-size : 12px;
    font-family : Verdana;
}

a {
    color: darkblue;
    font-family: Verdana, Helvetica;
    font-size : 12px;
    font-weight: bold;
    text-decoration: underline;
}

a:hover {
    color: darkred;
    text-decoration: underline;
}

.Link {
  font-family: Verdana, Helvetica;
  font-size : 10px;
  text-decoration: none; color: darkred 
}

input {
    font-size: 12px;
}

.inputr {
    text-align : right;
}

.body {
    font-size : 12px;
    font-family : Verdana;
    color : darkblue;
    border-top: 1px solid gray;
    border-left: 1px solid gray;
}

.pushbutton {
    font-family : Verdana;
    cursor: hand;
}