« MediaWiki:Common.css » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 11 : | Ligne 11 : | ||
div#mw-panel div.portal h3 { color: #bb0000; } | div#mw-panel div.portal h3 { color: #bb0000; } | ||
<?php global $wgUser; if( $wgUser->isAnon() ) { ?> | |||
<style type="text/css"> | |||
#ca-viewsource { display: none !important; } | |||
</style> | |||
<?php } ?> | |||
Version du 17 mars 2018 à 13:28
/* Le CSS placé ici sera appliqué à tous les habillages. */
/* changes the default MediaWiki headings */
div#content h1 {font-family: "Verdana", sans-serif ; font-weight: bold }
div#content h2 {font-family: "Verdana", sans-serif ; font-weight: bold ;font-size: 1.25em; }
div#content h1, div#content h2 {color:#BB0000; }
html, body , .mw-body { font-family: "Verdana", sans-serif }
div#mw-panel div.portal h3 { color: #bb0000; }
<?php global $wgUser; if( $wgUser->isAnon() ) { ?>
<style type="text/css">
#ca-viewsource { display: none !important; }
</style>
<?php } ?>
