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

Version actuelle datée du 8 novembre 2024 à 20:45

/*====================*/
/*    BODY et BASE    */
/*====================*/
body {
    background-image: none;
    background-color: var(--color_main_grey3);
    font-family: var(--ff);
    font-size: var(--fs);
}


/*====================*/
/* ADAPTATION VECTOR  */
/*====================*/
.vector-body {font-size: 130%;} /* Ajustement de la taille la police) */

#mw-page-base {background-image: none; background-color: var(--color_main_grey3);} /* Bandeau du haut */


/*====================*/
/*       LOGO         */
/*====================*/
#p-logo, .mw-wiki-logo {
    position: fixed;
    top: 0px;
    left: 0px;
}

body.skin--responsive #p-logo a, body.skin--responsive #p-logo a:hover {
background-position: 0% 0% !important;
}

/*====================*/
/*  RIGHT NAVIGATION  */
/*====================*/
#right-navigation {
    margin-right: calc(var(--content_marg_right) + 40px);
}


#searchform {margin-top: 0;}
#p-search input[type="search"] {width: 13em; font-size: 115%;}


/* Taille du menu pour Vector */
.vector-menu-portal .vector-menu-content li {font-size: var(--fs_M);} 
.vector-user-menu-legacy li {font-size: var(--fs_M);}
.vector-menu-tabs li a {font-size: var(--fs_M);}
.vector-menu-heading {font-size: var(--fs_M);}
.vector-menu-heading-label {font-size: 150%;}
#left-navigation {margin-left: 13em;}