/* OPTIONS MENU   
----------------------------------------------------------*/
ul#optionsmenu
{
    padding: 0 0 2px;
    position: relative;
    margin: 0;
    text-align: left;
    text-indent: 20px;
    list-style-type: none;
}

ul#optionsmenu li
{
    display: list-item;
    list-style-type: none;
}

ul#optionsmenu li a
{
    padding: 10px 20px;
    text-decoration: none;
    line-height: 2.8em;
}

ul#optionsmenu li a:hover
{
    font-weight: bold;
    text-decoration: underline;
}

ul#optionsmenu li a:active
{
    background-color: #a6e2a6;
    text-decoration: none;
}

ul#optionsmenu li.selected a
{
    background-color: #fff;
    color: #000;
}


/* COMBO BOX
----------------------------------------------------------*/
select
{
    border-color: #034af3;
    font-family: inherit;
    color: inherit;
}

/* TABLE
----------------------------------------------------------*/
#none 
{
  border: none;
  border-collapse: collapse;
}

#none td 
{
  padding: 5px;   
  border: none;
}

#none th
{
    border-style: none;
    border-width: medium;
    border-color: inherit;
    padding: 6px 5px;
    text-align: left;
    background-color: White;
}

/* PRE
----------------------------------------------------------*/
pre {
 overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
 white-space: pre-wrap; /* css-3 */
 white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
 white-space: -pre-wrap; /* Opera 4-6 */
 white-space: -o-pre-wrap; /* Opera 7 */
 word-wrap: break-word; /* Internet Explorer 5.5+ */
}