MediaWiki:Common.css: Unterschied zwischen den Versionen

Version vom 26. April 2018, 16:57 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */
code.blocks {
  border: none;
  margin: 0 4px;
}