but fixes the issue that headlines look like "[edit] Headline" in text browsers.
* to ensure that client-side caches don't keep obsolete copies of global
* styles.
*/
-$wgStyleVersion = '102';
+$wgStyleVersion = '103';
# Server-side caching:
* @return string HTML headline
*/
public function makeHeadline( $level, $attribs, $anchor, $text, $link ) {
- return "<a name=\"$anchor\"></a><h$level$attribs$link <span class=\"mw-headline\">$text</span></h$level>";
+ return "<a name=\"$anchor\"></a><h$level$attribs<span class=\"mw-headline\">$text</span>$link </h$level>";
}
/**
.editsection {
float: right;
margin-left: 5px;
+ margin-top:-1.2em;
}
/**
/* KHTML fix stylesheet */
/* work around the horizontal scrollbars */
#column-content { margin-left: 0; }
+
+/* Edit section links */
+.editsection {
+ margin-top: 0;
+}
+
background: url(external.png) center right no-repeat;
padding-right: 13px;
}
+/* Edit section links */
+.editsection {
+ margin-top: 0;
+}
+