2021-11-16 02:39:11 +08:00
|
|
|
// 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.
|
|
|
|
|
2022-07-14 19:03:43 +08:00
|
|
|
div.profiler-results.profiler-top {
|
|
|
|
top: var(--header-offset);
|
2022-07-15 01:14:38 +08:00
|
|
|
z-index: z("header") - 1;
|
2022-07-14 19:03:43 +08:00
|
|
|
|
2021-11-16 02:39:11 +08:00
|
|
|
.profiler-button {
|
|
|
|
background-color: var(--header_background);
|
|
|
|
color: var(--header_primary);
|
|
|
|
border-bottom: 1px solid var(--header_primary-low);
|
|
|
|
|
|
|
|
.profiler-number {
|
|
|
|
color: var(--header_primary);
|
|
|
|
}
|
|
|
|
|
|
|
|
.profiler-unit {
|
|
|
|
color: var(--header_primary-medium);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-07-14 19:03:43 +08:00
|
|
|
&.profiler-left .profiler-button {
|
2021-11-16 02:39:11 +08:00
|
|
|
border-right: 1px solid var(--header_primary-low);
|
|
|
|
}
|
2022-07-14 19:03:43 +08:00
|
|
|
|
|
|
|
&.profiler-right .profiler-button {
|
|
|
|
border-left: 1px solid var(--header_primary-low);
|
2022-07-16 16:12:44 +08:00
|
|
|
padding-right: 10px; // Make space for scrollbar
|
2022-07-14 19:03:43 +08:00
|
|
|
}
|
2021-11-16 02:39:11 +08:00
|
|
|
}
|