mirror of
https://github.com/discourse/discourse.git
synced 2025-02-25 21:16:42 +08:00
d88ee33eb6
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>
39 lines
944 B
SCSS
39 lines
944 B
SCSS
// Some basic overrides to https://github.com/MiniProfiler/rack-mini-profiler/blob/master/lib/html/includes.scss
|
|
// which make the badge conform to the current site theme.
|
|
.profiler-queries-bg {
|
|
z-index: z("header") - 2;
|
|
}
|
|
|
|
div.profiler-results.profiler-top {
|
|
top: var(--header-offset);
|
|
z-index: z("header") - 1;
|
|
|
|
.profiler-result {
|
|
font-size: var(--font-down-1);
|
|
}
|
|
|
|
.profiler-button {
|
|
background-color: var(--header_background);
|
|
color: var(--header_primary);
|
|
border-bottom: 1px solid var(--header_primary-low);
|
|
|
|
.profiler-number,
|
|
.profiler-unit {
|
|
color: var(--header_primary);
|
|
}
|
|
|
|
.profiler-reqs {
|
|
font-size: var(--font-down-1);
|
|
}
|
|
}
|
|
|
|
&.profiler-left .profiler-button {
|
|
border-right: 1px solid var(--header_primary-low);
|
|
}
|
|
|
|
&.profiler-right .profiler-button {
|
|
border-left: 1px solid var(--header_primary-low);
|
|
padding-right: 10px; // Make space for scrollbar
|
|
}
|
|
}
|