From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 3 May 2012 13:01:35 +0200
Subject: Update to MediaWiki 1.19.0

---
 skins/common/config-cc.css | 55 +++++++++++++++++++++++-----------------------
 1 file changed, 28 insertions(+), 27 deletions(-)

(limited to 'skins/common/config-cc.css')

diff --git a/skins/common/config-cc.css b/skins/common/config-cc.css
index c629ad3f..d81218ec 100644
--- a/skins/common/config-cc.css
+++ b/skins/common/config-cc.css
@@ -3,54 +3,55 @@
  */
 
 body {
-	margin:0px;
-	background:#eee;
-	font-family:verdana;
-	color:#333;
+	margin: 0;
+	background: #eee;
+	font-family: Verdana;
+	color: #333;
 }
 
 #main {
-	border:1px solid #D0D0D0; 
-	background:#fff;
+	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. */
+/**
+ * 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; 
-	/*		border-bottom:1px solid #000;*/
-	float:right;
-	width:230px;
-	background:white;
-	margin:0px 0px 10px 10px;
+	border-left: 1px dotted #ccc;
+	float: right;
+	width: 230px;
+	background: white;
+	margin: 0 0 10px 10px;
 }
 
-td, h3, p,h1,pre {
-	margin:0px 20px 20px 20px;
-	font-size:11px;
-	line-height:140%;
+td, h3, p, h1, pre {
+	margin: 0 20px 20px 20px;
+	font-size: 11px;
+	line-height: 140%;
 }
 
 .header {
 	padding-left: 10px;
-	padding-top:10px;
+	padding-top: 10px;
 }
 
 .nav {
-	padding-left:10px;
-	padding-bottom:10px;
-	font-size:11px;
-	margin-bottom:16px;
+	padding-left: 10px;
+	padding-bottom: 10px;
+	font-size: 11px;
+	margin-bottom: 16px;
 }
 
-#menu p { 
-	font-size:11px;
+#menu p {
+	font-size: 11px;
 }
 
 .dent {
-	margin-left:64px;
+	margin-left: 64px;
 }
 
-- 
cgit v1.2.2