Toggle menu
Toggle preferences menu
Toggle personal menu
Not logged in
Your IP address will be publicly visible if you make any edits.

MediaWiki:Vector.css: Difference between revisions

MediaWiki interface page
No edit summary
No edit summary
Line 12: Line 12:
--wiz-content-padding: 20px;
--wiz-content-padding: 20px;
--wiz-content-border: #a2a9b1;
--wiz-content-border: #a2a9b1;
--wiz-page-background: #fff;
--wiz-sidebar-background: #f3f3f3;
--wiz-gutter-background: #f3f3f3;
}
}


Line 21: Line 24:
position: relative;
position: relative;
width: min(100%, var(--wiz-page-width));
width: min(100%, var(--wiz-page-width));
min-height: 100vh;
margin: 0 auto;
margin: 0 auto;
background: #fff;
background:
linear-gradient(
to right,
var(--wiz-sidebar-background) 0,
var(--wiz-sidebar-background) var(--wiz-sidebar-width),
var(--wiz-page-background) var(--wiz-sidebar-width),
var(--wiz-page-background) calc(100% - var(--wiz-page-gutter)),
var(--wiz-gutter-background) calc(100% - var(--wiz-page-gutter)),
var(--wiz-gutter-background) 100%
);
}
}


Line 52: Line 65:
padding: var(--wiz-content-padding);
padding: var(--wiz-content-padding);
border: 1px solid var(--wiz-content-border);
border: 1px solid var(--wiz-content-border);
}
#footer {
box-sizing: border-box;
width: var(--wiz-content-width);
margin-left: calc(var(--wiz-sidebar-width) + var(--wiz-sidebar-content-gap));
margin-right: var(--wiz-page-gutter);
}
}