a.output:link {
text-decoration : none;
color : #4e4e4e;
}
a.output:active {
text-decoration : none;
color : #4e4e4e;
}
a.output:visited {
text-decoration : none;
color : #4e4e4e;
}
a.output:hover {
text-decoration : underline;
color : #4e4e4e;
}
a.r:link {
text-decoration : none;
color : #000000;
}
a.r:active {
text-decoration : none;
color : #000000;
}
a.r:visited {
text-decoration : none;
color : #000000;
}
a.r:hover {
text-decoration : none;
color : #000000;
}
body.output {
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
color : #FFFFFF;
}
b.color1 {
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
color : #33cc66;
}
b.color2 {
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
color : #ff0000;
}
td.output {
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
color : #FFFFFF;
}
td.small {
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
color : #FFFFFF;
}
table.output {
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
color : #FFFFFF;
}
textarea {
background-color : #f9f9f9;
border : 1px solid #666666;
}
textarea.newsolved {
background-color : #f9f9f9;
border : 1px solid #666666;
}
textarea.newsolved_no {
background-color : #f9f9f9;
border : 1px solid #dddddd;
color : #dddddd;
}
input.output {
color : #000000;
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
}

input.outputtext {
color : #000000;
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
width: 350px;
}

input.button {
color : #000000;
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
border : 1px solid #000000;
background-color : #cccccc;
}
input.delbutton {
color : #999999;
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
border : 1px solid #cccccc;
background-color : #ffffff;
}
input.newsolved {
color : #000000;
font-family : Arial;
font-size : 12px;
border : 1px solid #666666;
}
input.newsolved_no {
color : #dddddd;
font-family : Arial;
font-size : 12px;
border : 1px solid #dddddd;
}
input.inst {
color : #000000;
background-color : #f0f0f0;
font-family : Arial,Helvetica,sans-serif, Arial, Helvetica, sans-serif;
font-size : 12px;
font-weight : bold;
border-color : #000000;
border-width : 1px;
}
.tooltip {
position : absolute;
display : none;
background-color : #ffffff;
font-size : 12px;
border : 1px solid #000000;
padding : 2px;
}
.output {
color : #FFFFFF;
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
}
.error {
color : #EF621D;
font-family : Arial,Helvetica,sans-serif;
font-size : 12px;
margin-bottom: 10px;
font-weight: bold;
}