body
{
background-color: #effcff
}

table.comment
{
width: 100%;
border: 1px solid #1382e5;
background-color: #caeefe;
color: #0332e5;
font-family: verdana;
font-size: 12px
}

div.code
{
font-family: courier;
font-size: 12px;
position: relative;
left: 100px;
border-left: 8px solid gray;
/*
border-right: 1px solid black;
border-top: 1px solid black;
border-bottom: 1px solid black;
*/
padding: 0px 8px;
width: 800px;
background-color: #ffffff
}

div.img
{
border: 1px solid gray;
background-color: #ffffff;
width: 800px;
position: relative;
left: 32px
}

td.sym
{
width: 64px;
text-align: center;
border: 1px solid #1382e5;
background-color: #caeefe;
color: #0332e5;
font-family: verdana;
font-size: 12px;
font-weight: bold;
padding: 4px 8px
}

td.desc
{
width: auto;
border: 1px solid #1382e5;
background-color: #caeefe;
color: #0332e5;
font-family: verdana;
font-size: 12px;
font-weight: bold;
padding: 4px 8px
}