« MediaWiki:Wikimini.css » : différence entre les versions
Jump to navigation
Jump to search
Aucun résumé des modifications |
(Contenu remplacé par « →__NORICHEDITOR__ : ») |
||
| Ligne 1 : | Ligne 1 : | ||
/* __NORICHEDITOR__ */ |
/* __NORICHEDITOR__ */ |
||
/* Styles du menu d'options */ |
|||
.headerLi { |
|||
display:inline; |
|||
padding:0.3em; |
|||
margin:1em; |
|||
} |
|||
.headerA { |
|||
color:#002bb8; |
|||
} |
|||
.headerA:hover { |
|||
text-decoration:underline !important; |
|||
} |
|||
.OptionsBox { |
|||
margin:0.1em; |
|||
margin-bottom:0.3em; |
|||
text-align:center; |
|||
} |
|||
.MenuOptionsBouton { |
|||
margin:0.1em; |
|||
margin-bottom:0.3em; |
|||
} |
|||
#OptionsTexte { |
|||
margin:0.2em; |
|||
padding-left:0.5em; |
|||
font-weight:bold; |
|||
font-size:10px !important; |
|||
text-align:center; |
|||
} |
|||
Version du 1 avril 2010 à 22:03
/* __NORICHEDITOR__ */
Ce que tu peux faire
Outils 
Outils personnels
