« MediaWiki:Common.css » : différence entre les versions

Version du 25 mai 2023 à 09:57

/* Le CSS placé ici sera appliqué à tous les habillages. */


.cadre-principal{
   box-shadow: 0 0 0.3rem #999;
   border-radius: 0.2rem;
   padding: 1.2rem;
   margin-bottom: 1.6rem;
}



/* pastille de couleur */
.color-box {
   width : 10px;
   height : 10px;
   display : inline-block;
   border:2px solid black;
}

/* pour éviter le débordement des grandes images */
#mw-content-text img {
    max-width: 100%;
    height: auto;
}


.keyb{
    display: inline-block;
    color:#000;
    padding : 0px 0.5rem;
    background-color: #ddd;
    border-radius: 3px;
    margin: 0px 0.2rem;
    border-style: solid !important; 
    border-width: 1px !important;
    border-color: #aaa !important;
}

.filename{
	font-family: "Segoe UI" ;
    display: inline-block;
    color:#000;
    padding : 0px 0.5rem;
    border-radius: 3px;
    margin: 0px 0.2rem;
    border-style: solid !important; 
    border-width: 1px !important;
    border-color: rgb(122, 208, 230) !important;	
}

.fn-selected{
    background-color: #C9E9FD;
}
.system-w{
    background-color: url('./system-w.svg');

}