aboutsummaryrefslogtreecommitdiffstats
path: root/skins/common/config-cc.css
diff options
context:
space:
mode:
authorBartosz Dziewoński <matma.rex@gmail.com>2014-08-11 03:59:22 +0200
committerBartosz Dziewoński <matma.rex@gmail.com>2014-08-17 22:32:25 +0000
commita8e474c1f292667fada54613df637999478fb69b (patch)
tree694f4bd99a6e3dcb6cdd23f2acf91dc3b4357a5a /skins/common/config-cc.css
parent011350a3477008f30774b9d3ab78a712f3b30c36 (diff)
downloadmediawikicore-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.css56
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;
-}