David Taylor d88ee33eb6
DEV: Introduce stylelint (#29852)
Stylelint is a css linter: https://stylelint.io/

As part of this change we have added two javascript scripts:

```
pnpm lint:css
pnpm lint:css:fix
```

Look at `.vscode/settings.json.sample` and `.vscode/extensions.json` for
configuration in VSCode.

---------

Co-authored-by: Joffrey JAFFEUX <j.jaffeux@gmail.com>
2025-01-20 15:27:42 +00:00

54 lines
874 B
SCSS

// --------------------------------------------------
// Banner
// --------------------------------------------------
#banner {
padding: 1em;
background: var(--tertiary-low);
color: var(--primary);
z-index: z("base") + 1;
margin-bottom: 1em;
max-height: 20vh;
overflow: auto;
.floated-buttons {
float: right;
display: flex;
> .btn {
padding-top: 0;
padding-bottom: 0;
color: var(--primary-high);
.d-icon {
color: var(--primary-medium);
}
&:hover {
color: var(--primary);
.d-icon {
color: var(--primary-high);
}
}
}
.desktop-view & .btn.close {
margin-left: 0.25em;
}
}
}
#banner-content {
hr {
border-color: var(--primary-medium);
}
> p:first-child {
margin-top: 0;
}
> p:last-of-type {
margin-bottom: 0;
}
}