EiffelStudio: an EiffelSoftware project - User contributions [en]

MediaWiki:Vector-2022.css

2026-10-21T21:18:19Z

Maintenance script: Eiffel look: legacy Vector default skin (left sidebar), fix Vector 2022 dropdown clipping

/* dev.eiffel.com - Eiffel Software look for Vector 2022 (palette from the 2013 eiffelsoftware_origo skin) */
:root {
--eiffel-navy: #173A7B;
--eiffel-blue: #2153B0;
--eiffel-light: #CBDDFF;
--eiffel-pale: #F2F6FF;
--eiffel-gold: #fabd23;
}

/* Header bar (full window width, also when the header is sticky) */
body.skin-vector-2022 .vector-header-container,
body.skin-vector-2022 .vector-header-container .mw-header,
body.skin-vector-2022 .vector-sticky-header {
background: var(--eiffel-navy);
}
/* Full-width bar without clipping: the old clip-path trick also clipped the header dropdowns (main menu,
user menu), which then appeared cut off / behind the page content. */
html {
overflow-x: hidden;
}
body.skin-vector-2022 .vector-header-container {
position: relative;
z-index: 3; /* header and its dropdowns above the page content */
}
body.skin-vector-2022 .vector-header-container::before {
content: '';
position: absolute;
top: 0;
bottom: 0;
left: calc( 50% - 50vw );
width: 100vw;
background: var(--eiffel-navy);
border-bottom: 3px solid var(--eiffel-gold);
z-index: -1;
}
body.skin-vector-2022 .vector-sticky-header .vector-sticky-header-context-bar-primary,
body.skin-vector-2022 .vector-sticky-header a {
color: #fff;
}
.vector-header-container .mw-logo-wordmark,
.vector-header-container .mw-logo-container,
.vector-header-container .vector-main-menu-dropdown .vector-dropdown-label,
.vector-header-container .vector-user-links a,
.vector-header-container .vector-user-links .vector-dropdown-label {
color: #fff;
}
.vector-header-container .mw-logo-wordmark {
font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Arial, sans-serif;
font-size: 1.15em;
font-weight: bold;
}
.vector-header-container .cdx-button__icon,
.vector-header-container .vector-icon {
filter: invert( 1 );
}
.vector-header-container .cdx-text-input__input,
.vector-header-container .cdx-search-input__input-wrapper input {
border-color: var(--eiffel-light);
}

/* Links */
.mw-body a:not( .new ):not( .external ),
.vector-toc a {
color: var(--eiffel-blue);
}
.mw-body a:not( .new ):hover,
.vector-toc a:hover {
color: var(--eiffel-navy);
}
.mw-body a:visited:not( .new ) {
color: #3b5fa8;
}

/* Headings */
.mw-body h1, .mw-body h2, .mw-body h3, .mw-first-heading {
color: var(--eiffel-navy);
font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Arial, sans-serif;
}
.mw-body h1, .mw-body h2 {
border-bottom-color: var(--eiffel-light);
}

/* Active tabs */
.vector-menu-tabs .selected a,
.vector-menu-tabs .mw-list-item.selected a {
color: var(--eiffel-navy);
box-shadow: inset 0 -2px 0 var(--eiffel-gold);
}

/* Footer */
.mw-footer {
border-top: 3px solid var(--eiffel-light);
}

MediaWiki:Vector.css

2026-10-21T21:18:18Z

Maintenance script: Eiffel look: legacy Vector default skin (left sidebar), fix Vector 2022 dropdown clipping

/* dev.eiffel.com - Eiffel Software look for legacy Vector (default skin; palette from the 2013 eiffelsoftware_origo skin) */

/* Navy band behind the logo and tabs, gold rule under it */
#mw-head-base,
#mw-page-base {
background: #173A7B;
background-image: linear-gradient( 180deg, #173A7B 0%, #2153B0 100% );
height: 5em;
}
#mw-page-base {
border-bottom: 3px solid #fabd23;
}
#mw-head-base {
margin-left: -11em;
padding-left: 11em;
}

/* Logo sits on the navy band */
#p-logo a {
background-size: auto;
background-position: center 12px;
}

/* User links and tabs readable on the navy band */
#p-personal a,
#p-personal .vector-menu-content-list li,
#pt-anonuserpage,
#pt-tmpuserpage {
color: #fff;
}
#p-personal a:hover {
color: #fabd23;
}
.vector-menu-tabs .mw-list-item,
.vector-menu-tabs .mw-list-item.selected {
background-image: none;
}
.vector-menu-tabs .mw-list-item a,
#p-cactions .vector-menu-heading {
background-color: #F2F6FF;
background-image: none;
border-left: 1px solid #CBDDFF;
}
.vector-menu-tabs .mw-list-item.selected a,
.vector-menu-tabs .mw-list-item.selected a:visited {
background-color: #fff;
color: #173A7B;
box-shadow: inset 0 -2px 0 #fabd23;
}
#p-search {
margin-right: 0.5em;
}

/* Left sidebar */
#mw-panel {
background: #F2F6FF;
border-right: 1px solid #CBDDFF;
min-height: 100%;
}
#mw-panel .vector-menu-portal .vector-menu-heading {
color: #173A7B;
font-weight: bold;
background-image: linear-gradient( to right, #CBDDFF 0, #F2F6FF 100% );
padding: 0.2em 0.5em;
}
#mw-panel .vector-menu-portal .vector-menu-content li a {
color: #2153B0;
}
#mw-panel .vector-menu-portal .vector-menu-content li a:hover {
color: #173A7B;
}

/* Content area */
#content {
border-color: #CBDDFF;
}
#content a:not( .new ):not( .external ) {
color: #2153B0;
}
#content a:not( .new ):hover {
color: #173A7B;
}
#content h1, #content h2, #content h3, #firstHeading {
color: #173A7B;
font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Arial, sans-serif;
}
#content h1, #content h2 {
border-bottom-color: #CBDDFF;
}

/* Footer */
#footer {
border-top: 3px solid #CBDDFF;
}

MediaWiki:Vector-2022.css

2026-10-21T21:08:20Z

Maintenance script: MediaWiki 1.43 upgrade: Eiffel look for Vector

/* dev.eiffel.com - Eiffel Software look for Vector 2022 (palette from the 2013 eiffelsoftware_origo skin) */
:root {
--eiffel-navy: #173A7B;
--eiffel-blue: #2153B0;
--eiffel-light: #CBDDFF;
--eiffel-pale: #F2F6FF;
--eiffel-gold: #fabd23;
}

/* Header bar (full window width, also when the header is sticky) */
body.skin-vector-2022 .vector-header-container,
body.skin-vector-2022 .vector-header-container .mw-header,
body.skin-vector-2022 .vector-sticky-header {
background: var(--eiffel-navy);
}
body.skin-vector-2022 .vector-header-container {
box-shadow: 0 0 0 100vmax var(--eiffel-navy);
clip-path: inset( 0 -100vmax );
border-bottom: 3px solid var(--eiffel-gold);
}
body.skin-vector-2022 .vector-sticky-header .vector-sticky-header-context-bar-primary,
body.skin-vector-2022 .vector-sticky-header a {
color: #fff;
}
.vector-header-container .mw-logo-wordmark,
.vector-header-container .mw-logo-container,
.vector-header-container .vector-main-menu-dropdown .vector-dropdown-label,
.vector-header-container .vector-user-links a,
.vector-header-container .vector-user-links .vector-dropdown-label {
color: #fff;
}
.vector-header-container .mw-logo-wordmark {
font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Arial, sans-serif;
font-size: 1.15em;
font-weight: bold;
}
.vector-header-container .cdx-button__icon,
.vector-header-container .vector-icon {
filter: invert( 1 );
}
.vector-header-container .cdx-text-input__input,
.vector-header-container .cdx-search-input__input-wrapper input {
border-color: var(--eiffel-light);
}

/* Links */
.mw-body a:not( .new ):not( .external ),
.vector-toc a {
color: var(--eiffel-blue);
}
.mw-body a:not( .new ):hover,
.vector-toc a:hover {
color: var(--eiffel-navy);
}
.mw-body a:visited:not( .new ) {
color: #3b5fa8;
}

/* Headings */
.mw-body h1, .mw-body h2, .mw-body h3, .mw-first-heading {
color: var(--eiffel-navy);
font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Arial, sans-serif;
}
.mw-body h1, .mw-body h2 {
border-bottom-color: var(--eiffel-light);
}

/* Active tabs */
.vector-menu-tabs .selected a,
.vector-menu-tabs .mw-list-item.selected a {
color: var(--eiffel-navy);
box-shadow: inset 0 -2px 0 var(--eiffel-gold);
}

/* Footer */
.mw-footer {
border-top: 3px solid var(--eiffel-light);
}

MediaWiki:Common.css

2026-10-21T21:08:20Z

Maintenance script: MediaWiki 1.43 upgrade: Eiffel styles

/*
<pre>
*/

.hiddenStructure {display: none}

.if {display: none}

/* wikitable/prettytable class for skinning normal tables */

table.wikitable,
table.prettytable {
margin: 1em 1em 1em 0;
background: #f9f9f9;
border: 1px #aaaaaa solid;
border-collapse: collapse;
}

table.wikitable th, table.wikitable td,
table.prettytable th, table.prettytable td {
border: 1px #aaaaaa solid;
padding: 0.2em;
}

table.wikitable th,
table.prettytable th {
background: #f2f2f2;
text-align: center;
}

table.wikitable caption,
table.prettytable caption {
margin-left: inherit;
margin-right: inherit;
}

.allpagesredirect {
font-style: italic;
}

/* Infobox template style */

.infobox {
border: 1px solid #aaaaaa;
background-color: #f9f9f9;
color: black;
margin-bottom: 0.5em;
margin-left: 1em;
padding: 0.2em;
float: right;
clear: right;
}
.infobox td,
.infobox th {
vertical-align: top;
}
.infobox caption {
font-size: larger;
margin-left: inherit;
}
.infobox.bordered {
border-collapse: collapse;
}
.infobox.bordered td,
.infobox.bordered th {
border: 1px solid #aaaaaa;
}
.infobox.bordered .borderless td,
.infobox.bordered .borderless th {
border: 0;
}

.infobox.sisterproject {
width: 20em;
font-size: 90%;
}

/* Removes useless links from printout */
@media print {
#privacy, #about, #disclaimer {display:none;}
}

.plainlinksneverexpand a {background: none !important; padding: 0 !important}

/* log formatting */
.logtable pre {
margin:0;
padding:0;
border:0;
}

/*
</pre>
*/

/* ===== Added for the MediaWiki 1.43 / Vector upgrade ===== */

/* dev.eiffel.com - styles shared by all skins */

/* GeSHi code blocks from the <e>/<eiffel>/<code>/... tags (EiffelSoftware extension) */
.mw-parser-output pre.eiffel,
.mw-parser-output pre.java,
.mw-parser-output pre.csharp,
.mw-parser-output pre.xml,
.mw-parser-output pre.c,
.mw-parser-output pre.cpp,
.mw-parser-output pre[style*="font-family:monospace"] {
background-color: #F2F6FF; /* very light blue, as in the old skin */
border: 1px solid #CBDDFF; /* light blue */
padding: 0.6em 0.9em;
line-height: 1.4;
overflow-x: auto;
white-space: pre;
}
.mw-parser-output code.eiffel,
.mw-parser-output code.java,
.mw-parser-output code.csharp,
.mw-parser-output code.xml {
background-color: #F2F6FF;
border: 1px solid #CBDDFF;
padding: 1px 4px;
}

/* Tables with the classic "wikitable" look in Eiffel colors */
.mw-parser-output table.wikitable > tr > th,
.mw-parser-output table.wikitable > * > tr > th {
background-color: #CBDDFF;
color: #173A7B;
}

/* Diffs */
td.diff-addedline { background: #F2F6FF; }