.button2
{
background: #aaaaaa;
border-color: #ffffff #000000 #000000 #ffffff;
height: 22px;
vertical-align: middle;
font-family: monospace;
font-size: 10pt;
margin: 0px;
padding-top: 0px;
padding-bottom: 0px;
padding-left: 2px;
padding-right: 2px;
overflow: visible;
}

pre
{
font-family: monospace;
font-size: 10pt;
line-height: 130%;
width: auto;
overflow-x: auto;
white-space: pre-wrap;
white-space: -moz-pre-wrap !important;
white-space: -pre-wrap;
white-space: -o-pre-wrap;
word-wrap: break-word;
width:99%;
}

.button2:active
{
background-color: #6688bb;
}


body
{
background: #aaaaaa;
}