MediaWiki:Common.css: Unterschied zwischen den Versionen

Aktuelle Version vom 19. September 2026, 16:19 Uhr

/*
 * Die Gestaltung von JuliWiki liegt in der Erweiterung JuliWikiTheme
 * (extensions/JuliWikiTheme/resources, Design-Tokens in tokens.css) und wird
 * per Git versioniert. Diese Seite bleibt bewusst leer, damit nichts die
 * Theme-Regeln überschreibt. Wiki-spezifische Einzelfälle hier eintragen.
 */

@@ Zeile 1: / Zeile 1: @@
-/** CSS an dieser Stelle wirkt sich auf alle Skins aus */
+/*
+ * Die Gestaltung von JuliWiki liegt in der Erweiterung JuliWikiTheme
+ * (extensions/JuliWikiTheme/resources, Design-Tokens in tokens.css) und wird
-/** Erweiterungen für die Hauptseite **/
+  * per Git versioniert. Diese Seite bleibt bewusst leer, damit nichts die
- #hauptseite h2 {
+  * Theme-Regeln überschreibt. Wiki-spezifische Einzelfälle hier eintragen.
-       background-color: #3E5E7D;
+  */
-       border: 1px solid #1E608E;
-       color: white;
-       font-size: 1.2em;
-       font-weight: bold;
-       margin-top: 0;
-       margin-bottom: 0;
-       padding-top: 0.1em;
-       padding-bottom: 0.1em;
-  }
- #hauptseite .inhalt {
-       background-color: #ffffff;
-       border: 1px solid #1E608E;
-       border-top: 0px solid white;
-       padding: 0.3em 0.8em 0.4em 0.8em;
- }
- #hauptseite .inhalt hr {
-       background-color: #1E608E;
-       color: #8898bf;
-       height: 1px;
-       margin:0.5em 0;
-       padding: 0;
- }
- .hauptseite-breit,
-  .hauptseite-links,
- .hauptseite-rechts {
-       margin-bottom: 1em;
- }
- .hauptseite-links {
-       margin-right: 0.5em;
-  }
- .hauptseite-rechts {
-       margin-left: 0.5em;
- }
- .hauptseite-breit h2 {
-       text-align: center;
- }
- .hauptseite-links h2,
- .hauptseite-rechts h2 {
-       text-indent: 0.8em;
- }