@namespace url(http://www.w3.org/1999/xhtml);

@-moz-document domain("pear.php.net") {
    td.content {
        padding: 1.0em !important;
    }

    div.success, div.explain, div.warnings, div.success div.tags {
        padding: 1.0em !important;
        border: 1px solid !important;
        margin: 1.0em !important;
    }

    .head-menu * {
        opacity: 0.5;
    }

    .sidebar_left, .sidebar_right {
        opacity: 0.5;
    }
    .sidebar_left:hover, .sidebar_right:hover {
        opacity: 0.99;
    }

    table.man-nav {
        padding: 0.5em;
        width: 100%;
        background-color: rgb(240, 240, 240);
        margin-bottom: 1.0em;
        margin-top: 1.0em;
    }

    table.man-nav hr.greyline {
        background-color: rgb(230, 230, 230);
        border-top: none !important;
    }

    .head-search {
        font-size: 1.0em !important;
        padding: 0.1em;
    } 
    
    table {
        margin: auto;
    }
}