MediaWiki:Gadget-UTCLiveClock-pagestyles.css: Unterschied zwischen den Versionen
imported>Oetterer (Die Seite wurde neu angelegt: „→* * This is loaded as a hidden peer gadget of UTCLiveClock. * Before UTCLiveClock has loaded, it adds space where the clock would go, * so that the personal toolbar does not "jump".: .client-js > body.skin-monobook #p-personal li { font-size: 1em; } →* Reserve space for the clock gadget after the end of the p-personal ul * element.: .client-js > body.skin-vector-legacy #p-personal ul { /* * The clock width plus its left margin, multip…“) |
(kein Unterschied)
|
Aktuelle Version vom 1. Oktober 2023, 09:06 Uhr
/**
* This is loaded as a hidden peer gadget of UTCLiveClock.
* Before UTCLiveClock has loaded, it adds space where the clock would go,
* so that the personal toolbar does not "jump".
*/
.client-js > body.skin-monobook #p-personal li {
font-size: 1em;
}
/*
* Reserve space for the clock gadget after the end of the p-personal ul
* element.
*/
.client-js > body.skin-vector-legacy #p-personal ul {
/*
* The clock width plus its left margin, multiplied by the relative font
* size: (6em + 0.75em) * 0.75
*/
margin-right: 5.0625em;
}
.client-js > body.skin-monobook #p-personal ul {
/*
* Clock width: 6.279em
* Left margin: 1em
* Space separator after "log out" link: 0.321em (found through trial and
* error)
* Total space: 6.279em + 1em + 0.321em
*/
margin-right: 7.6em;
}