/* CSS hacks for Safari and Opera browsers */


@media all and (-webkit-min-device-pixel-ratio:10000), not all and (-webkit-min-device-pixel-ratio:0) {
    head~body #primary-content #comments a.button {       /* Opera */
        padding-top: 6px;
    }
    head~body #secondary-content #downloads a.button {       /* Opera */
        padding-top: 6px;
    }
}    
    
@media screen and (min-width: 0px) {    
    body:not(:root:root) #primary-content #comments a.button {   /* Safari */
        padding-top: 6px;
    }
    body:not(:root:root) #secondary-content #downloads a.button {   /* Safari */
        padding-top: 6px;
    }
}