diff options
author | jdlrobson <jdlrobson@gmail.com> | 2020-03-31 14:53:14 -0700 |
---|---|---|
committer | Jdlrobson <jrobson@wikimedia.org> | 2020-04-03 21:00:19 +0000 |
commit | 28090bfe39532b07a6cb06d7373ed8fc835b9e13 (patch) | |
tree | d4d373f50c2eacfd8af6b3364882f7f94f264219 /mw-config/config.css | |
parent | 0e74c1b03198d02a1a90f7e0681b8d3459283c77 (diff) | |
download | mediawikicore-28090bfe39532b07a6cb06d7373ed8fc835b9e13.tar.gz mediawikicore-28090bfe39532b07a6cb06d7373ed8fc835b9e13.zip |
installer: Add Installer-specific stylesheet
Follows-up 00e8bde6859, which removed loading of Vector styles.
Let the Installer maintain its own appearance instead.
Bug: T248133
Change-Id: Ibdb0a72083a837a369d8d660c79fecd5aac55407
Diffstat (limited to 'mw-config/config.css')
-rw-r--r-- | mw-config/config.css | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/mw-config/config.css b/mw-config/config.css index 63cb619c9e65..4b25d3365800 100644 --- a/mw-config/config.css +++ b/mw-config/config.css @@ -1,4 +1,46 @@ /* stylelint-disable selector-class-pattern */ +body { + background-color: #f7f7f7; + margin: 0; + font-family: sans-serif; +} + +#mw-page-base { + height: 3.5em; +} + +#mw-head-base { + position: absolute; + top: 0; + right: 0; + width: 100%; +} + +#mw-panel { + position: absolute; + top: 0; + left: 0; + width: 10em; +} + +#content { + background: #fff; + margin-left: 11em; + border: 1px solid #aaa; + padding: 1.25em 1.5em 1.5em 1.5em; +} + +.portal { + margin: 0 0.6em 0 0.7em; + padding: 0.25em 0; +} + +.portal ul { + list-style: none none; + margin: 0 0.5em; + font-size: 0.813em; + line-height: 1.4; +} .env-check { font-size: 90%; @@ -210,6 +252,18 @@ display: none; } +#p-logo { + width: 10em; + height: 160px; + margin: 0 0 0 0.6em; +} + #p-logo a { + background-position: center center; + background-repeat: no-repeat; + display: block; + width: 10em; + height: 160px; + text-decoration: none; background-image: url( images/installer-logo.png ); } |