MediaWiki:Common.css: Difference between revisions

MediaWiki:Common.css (view source)

23 bytes removed , 14 March 2020

no edit summary

680

edits

@@ Line 1,493: / Line 1,493: @@
      height: 80px;
      z-index:10;
 }
-#mw-panel{
- 	z-index: 100;
- 	background-color: #fefdf9;
- 	width: 10.5em;
-}
-.mw-body {
-    border: 1px solid #c39f68;
-    border-right: none;
-}
 /* fix for editors */
-.ve-active #mw-head, .action-edit #mw-head, .action-submit #mw-head{
+.ve-active #mw-head, .action-edit #mw-head{
 	position: absolute;
 }
 /* fix top bar hash navigation problem  */
-ol.references li:target, sup.reference:target, :target {
+html, body {
-     padding-top: 100px;
+  scroll-padding-top: 100px; /* height of sticky header */
-     margin-top: -100px;
+}
+ol.references > li:target, sup.reference:target, span.citation:target, cite:target, .mw-headline:target {
+     padding-top: 100px !important;
+     margin-top: -100px !important;
      background-clip: content-box;
 }