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
Penar Musaraj
808c6ad1cd
A11Y: Adjust contrast and font size for mini profiler widget ( #22246 )
2023-06-22 18:01:21 -04:00
Alan Guo Xiang Tan
41aa7fa4ef
DEV: Fix mini profiler queries bg covering results ( #17679 )
2022-07-27 11:41:13 +08:00
Jarek Radosz
be6736c940
UX: Make space for scrollbar in mini-profiler ( #17524 )
2022-07-16 10:12:44 +02:00
Osama Sayegh
3690953a3f
DEV: Assign Mini Profiler badge a z-index below the notifications menu ( #17496 )
...
Follow-up to https://github.com/discourse/discourse/pull/17468 .
The notifications menu has a z-index at the header level, so the badge should be below that.
72889573e6/app/assets/stylesheets/common/base/menu-panel.scss (L26)
2022-07-14 20:14:38 +03:00
Jarek Radosz
4b935b61eb
FIX: CSS tweak and production position fix for miniprofiler ( #17493 )
...
* DEV: Format miniprofiler html
* FIX: Move miniprofiler to the right in production
* UX: Fix and merge miniprofiler css
2022-07-14 13:03:43 +02:00
David Taylor
389a3ce389
DEV: Add basic theme support to the mini_profiler badge ( #14952 )
2021-11-15 18:39:11 +00:00
