MediaWiki:Common.css: Unterschied zwischen den Versionen

Version vom 15. März 2023, 19:47 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
body { color: #5a7425; font-size: 12px; 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;
}