MediaWiki:Common.css: Difference between revisions

MediaWiki:Common.css (view source)

171 bytes removed , 14 November 2023

no edit summary

845

edits

@@ Line 132: / Line 132: @@
 	/* Positioning */
-	position: fixed;
+	position: scroll;
-	/* Effects */
-    border-padding-top: 80px;
-	border-top-left-radius: 0px;
-	border-top-right-radius: 8px;
-	border-bottom-left-radius: 0px;
-	border-bottom-right-radius: 8px;
 }