MediaWiki:Common.css: verschil tussen versies

Versie van 1 sep 2025 14:25

/* CSS die hier wordt geplaatst heeft invloed op alle vormgevingen 

.vector-page-tools-landmark { display: block !important; }
#vector-page-tools-pinned-container { display: none; }
.vector-main-menu-action-opt-out { display: none; }

*/

body { font-size: larger; }

/* ---------- Reading progress bar ---------- */
#readingProgress {
    position: fixed;
    top: 0;
    left: 0;
    height: 4px;               /* thickness of the bar */
    background-color: #3b82f6; /* choose any colour you like */
    width: 0%;
    z-index: 9999;             /* stay on top of everything */
    transition: width 0.1s ease-out;
}