.downloadFrame
{
    margin: .5em 2em .5em 2em ;
}

.downloadFrame a
{
    display: inline ;
    float: left ;
    margin-right: .25em ;
    padding: .1em .25em .1em .25em ;
    border: 1px solid #ff9900 ;
    color: #333 ;
    background: url("/images/headers/orange.gif") repeat-x ;
    text-decoration: none ;
}

/* NOTE: This hack is for Firefox if JavaScript is disabled. */
.downloadFrame noscript { display: block ; } 

.downloadFrame dl a:hover
{
    color: #eee ;
    background: url("/images/headers/orange.gif") bottom repeat-x ;
    border: 1px solid #333 ;
}

.downloadFrame iframe
{
    display: none ;
    margin-top: 2px ;
    width: 100% ;
    height: 10em ;
    border: 1px solid #333 ;
}
* html .downloadFrame iframe { width: 38em ; }