diff options
author | Bartosz Dziewoński <matma.rex@gmail.com> | 2014-08-11 03:59:22 +0200 |
---|---|---|
committer | Bartosz Dziewoński <matma.rex@gmail.com> | 2014-08-17 22:32:25 +0000 |
commit | a8e474c1f292667fada54613df637999478fb69b (patch) | |
tree | 694f4bd99a6e3dcb6cdd23f2acf91dc3b4357a5a /skins/common/config-cc.css | |
parent | 011350a3477008f30774b9d3ab78a712f3b30c36 (diff) | |
download | mediawikicore-a8e474c1f292667fada54613df637999478fb69b.tar.gz mediawikicore-a8e474c1f292667fada54613df637999478fb69b.zip |
Move installer files from skins/common/ to mw-config/
The CSS and JS files are definitely used only by the installer.
As for the images:
* mediawiki.png is still used directly by some error pages
(includes/PHPVersionError.php, includes/templates/NoLocalSettings.php)
* ajax-loader.gif is still used by shared.css
* bullet.gif is mysteriously used by *something*, according to the
logs at bug 69277 comment 11; I currently have no idea what, so
let's keep it here for a while
* All other ones don't grep (outside of the installer itself) and
don't appear in the logs on bug 69277.
Bug: 69277
Change-Id: I9146d9211a807911a5e0cfaa1dd3ab8170f333ca
Diffstat (limited to 'skins/common/config-cc.css')
-rw-r--r-- | skins/common/config-cc.css | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/skins/common/config-cc.css b/skins/common/config-cc.css deleted file mode 100644 index ecd10fa66646..000000000000 --- a/skins/common/config-cc.css +++ /dev/null @@ -1,56 +0,0 @@ -/** - * Copy of CC standard stylesheet, plus tweaks for iframe usage - */ - -body { - margin: 0; - background: #eee; - font-family: Verdana; - color: #333; -} - -#main { - border: 1px solid #D0D0D0; - background: #fff; - margin: 0.5em; -} - -/** - * Looks like you have to specify the width of #menu - * or IE5 Mac stretches it all the way across the div, and - * Opera streches it half way. - */ - -#main #menu { - border-left: 1px dotted #ccc; - float: right; - width: 230px; - background: white; - margin: 0 0 10px 10px; -} - -td, h3, p, h1, pre { - margin: 0 20px 20px 20px; - font-size: 11px; - line-height: 140%; -} - -.header { - padding-left: 10px; - padding-top: 10px; -} - -.nav { - padding-left: 10px; - padding-bottom: 10px; - font-size: 11px; - margin-bottom: 16px; -} - -#menu p { - font-size: 11px; -} - -.dent { - margin-left: 64px; -} |