#user-option {
    position: fixed;
    top: 10px;
    right: 10px;
}

@media print {
    #mariner-tab {
        display: none !important;
    }

    html {
        font-size: 12px;
    }

    table {
        font-size: 10px;
    }
}