MediaWiki:Common.css: Unterschied zwischen den Versionen

Version vom 25. April 2023, 15:51 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */

#content h2 { font-family: "Arial"; }

@@ Zeile 2: / Zeile 2: @@
 #content h2 { font-family: "Arial"; }
-.esys_rcorners {
-  border-radius: 10px;
-  border-color: black;
-  border-style: solid;
-  border-width: 0.5px;
-  background: white;
-  padding-bottom: 8px;
-  padding-top: 8px;
-  padding-left: 3px;
-  padding-right: 10px;
-  width: 170px;
-}