update to MediaWiki 1.17.0

1 files changed, 1 insertions, 10 deletions

diff --git a/skins/simple/main.css b/skins/simple/main.css
index 525c1473..8b65d4de 100644
--- a/skins/simple/main.css
+++ b/skins/simple/main.css
@@ -245,11 +245,8 @@ td.diff-deletedline {
 }
 
 .diffchange { background-color: #FFCDF3; text-decoration: none; }
-#pagehistory li { border: none; }
 
-span.urlexpansion {
-  display: none;
-}
+#pagehistory li { border: none; }
 
 div.tocindent {
   margin-left: 2em;
@@ -372,7 +369,6 @@ div.htmlform-tip {
 
 #mw_trackbacks {
 	border-style: groove;
-	padding: 0.2em;
 }
 
 #jump-to-nav {
@@ -383,10 +379,5 @@ table.collapsed tr.collapsable {
 	display: none;
 }
 
-.editsection {
-	float: right;
-	margin-left: 5px;
-}
-
 .templatesUsed { margin-top: 1.5em; }