Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less
Ðазад
// “External” variables @font-size-system-ui: 16; // Assumed browser default of `16px` @font-size-vector: 0.875em; // equals `14px` at browser default of `16px` // RCFilters variables // Colors not on WikimediaUI color palette @background-color-rcfilters-light-gray: #dee0e3; @background-color-rcfilters-light-green: #ccdecc; // Highlight color definitions @highlight-none: #fff; @highlight-c1: #36c; @highlight-c2: #00af89; @highlight-c3: #fc3; @highlight-c4: #ff6d22; @highlight-c5: #d73333; @highlight-bluedot: #1d4aad; // Simulates the 'known' browser <li> blue dot @highlight-grey: #54595d; // The color of full dots on Watchlist when highlight is enabled // Circles @min-size-circle: 20px; @size-circle: (20 / @font-size-system-ui / @font-size-vector); @margin-circle: (5 / @font-size-system-ui / @font-size-vector); // Result list circle indicators // Defined and used in mw.rcfilters.ui.ChangesListWrapperWidget.less @margin-circle-result: 3px; // In these small sizes, 'em' appears // squished and inconsistent. // Pixels are better for this use case: @size-circle-result: 6px; // Color picker circles @min-size-circle-colorpicker: 30px; @size-circle-colorpicker: (30 / @font-size-system-ui / @font-size-vector);
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка