.input
{
    border:2px solid black;
    border-radius:5px;
    padding:5px 5px 5px 5px;
    font-family:arial;
    font-size:12pt;
    font-weight:bold;
    color:black;
    background:#EEEEEE;
    cursor:pointer;
    margin:10px 4px 10px 4px;
    min-width:50px;
}

.key
{
    border:2px solid black;
    border-radius:5px;
    padding:1px 1px 1px 1px;
    font-family:arial;
    font-size:12pt;
    font-weight:bold;
    color:black;
    background:#CCEEAA;
    cursor:pointer;
    margin:5px 2px 5px 2px;
    min-width:25px;
}

.variable
{
    border:2px solid black;
    border-radius:5px;
    padding:5px 5px 5px 5px;
    font-family:arial;
    font-size:12pt;
    font-weight:bold;
    color:black;
    background:#EEEEEE;
    cursor:pointer;
    margin:10px 4px 10px 4px;
    min-width:50px;
    visibility: hidden;
}

.options
{
	 visibility: visible;
}

.choice
{
    border:1px solid black;
    margin-right:5px;
    color: #000000;
    font-size: 14pt;
    font-weight: bold;
}

div.scroll {
    height: 450px;
    overflow-x: hidden;
    overflow-y: auto;
    padding: 0px;
    margin:auto;
  }

hr
{
    height:2px;
    width:90%;
    border:none;
    color:#000;
    background-color:#000;
    margin-top:20px;
    margin-bottom:20px;
}

.memory
{
    border:1px solid black;
    padding:5px 3px 5px 3px;
    font-family:arial;
    font-size:1.0em;
    font-weight:bold;
    text-align:center;
}

.ascii
{
    border:0px solid black;
    padding:5px 3px 5px 3px;
    font-family:arial;
    font-size:1.0em;
    font-weight:bold;
    text-align:center;
}

.screen
{
    border:1px solid black;
    width:14px;
    height:14px;
    padding:0px;
    font-family:arial;
    font-size:4pt;
    font-weight:bold;
    text-align:center;
}

.data_grid td
{
    text-align:left;
    padding-right:10px;
}