StarCitizenTools/mediawiki-skins-Citizen
1
0
Fork 0
mirror of https://github.com/StarCitizenTools/mediawiki-skins-Citizen.git synced 2024-11-24 06:24:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat(core): ✨ tweak changelist and toc border width

Browse source
This commit is contained in:
alistair3149 2024-07-19 18:31:22 -04:00
parent bd0cea79e4
commit b9cd27043d
No known key found for this signature in database
2 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
resources/skins.citizen.styles/components/TableOfContents.less
View file

@ -12,7 +12,7 @@
&__list { &__list {
margin: 0 0 0 var( --space-xs ); margin: 0 0 0 var( --space-xs );
list-style: none; list-style: none;
border-left: var( --border-width-base ) solid var( --border-color-base ); border-left: var( --border-width-thick ) solid var( --border-color-base );
.citizen-toc__link { .citizen-toc__link {
border-top-left-radius: 0; border-top-left-radius: 0;
@ -27,7 +27,6 @@
padding: var( --space-xs ); padding: var( --space-xs );
font-weight: var( --font-weight-medium ); font-weight: var( --font-weight-medium );
color: var( --color-emphasized ); color: var( --color-emphasized );
border-radius: var( --border-radius-base );
&.citizen-toc__top { &.citizen-toc__top {
height: 0; height: 0;
@ -57,11 +56,10 @@
bottom: 0; bottom: 0;
left: 0; left: 0;
flex-shrink: 0; flex-shrink: 0;
width: 3px; width: var( --border-width-thick );
margin-top: var( --space-xs ); margin-top: var( --space-xs );
margin-bottom: var( --space-xs ); margin-bottom: var( --space-xs );
margin-left: -2px; margin-left: ~'calc( var( --border-width-thick ) * -1 )';
border-radius: var( --border-radius-pill );
} }
&__text { &__text {

6
skinStyles/mediawiki/special/mediawiki.special.changeslist.less
View file

@ -137,10 +137,10 @@ body:not( .mw-rcfilters-ui-initialized ) .mw-rcfilters-head {
position: absolute; position: absolute;
top: 0; top: 0;
bottom: 0; bottom: 0;
left: 4px; left: ~'calc( var( --border-width-thick ) + 1px )';
width: 1px; width: var( --border-width-thick );
content: ''; content: '';
background: var( --border-color-interactive ); background: var( --border-color-base );
} }
} }