MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary Tag: Reverted |
||
| Line 184: | Line 184: | ||
/* ============================================================ | /* ============================================================ | ||
HEADER — LARGE LOGO, TIGHT HEIGHT, BODY-ALIGNED | HEADER — LARGE LOGO, TIGHT HEIGHT, BODY-ALIGNED, STICKY | ||
============================================================ */ | ============================================================ */ | ||
| Line 201: | Line 200: | ||
} | } | ||
/* | /* Sticky header bar */ | ||
.vector-header { | .vector-header { | ||
position: sticky; | |||
top: 0; | |||
z-index: 10000; | |||
background: #fff; | |||
padding-left: var(--padding-inline-page-container, 16px) !important; | padding-left: var(--padding-inline-page-container, 16px) !important; | ||
padding-right: var(--padding-inline-page-container, 16px) !important; | padding-right: var(--padding-inline-page-container, 16px) !important; | ||
box-shadow: 0 2px 10px rgba(0,0,0,.06); | |||
box-sizing: border-box !important; | box-sizing: border-box !important; | ||
} | } | ||