lint: apply lint-frontend-fix

This commit is contained in:
Earl Warren 2024-03-24 22:54:16 +01:00
parent 5940dc17fd
commit 522eb73ec9
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00
2 changed files with 4 additions and 4 deletions

View file

@ -154,7 +154,7 @@ It needs some tricks to tweak the left/right borders with active state */
} }
.ui.basic.primary.buttons .button, .ui.basic.primary.buttons .button,
.ui.basic.primary.button{ .ui.basic.primary.button {
color: var(--color-primary); color: var(--color-primary);
border-color: var(--color-primary); border-color: var(--color-primary);
} }

View file

@ -11,11 +11,11 @@ window.addEventListener('load', async () => {
docExpansion: 'none', docExpansion: 'none',
defaultModelRendering: 'model', // don't show examples by default, because they may be incomplete defaultModelRendering: 'model', // don't show examples by default, because they may be incomplete
presets: [ presets: [
SwaggerUI.presets.apis SwaggerUI.presets.apis,
], ],
plugins: [ plugins: [
SwaggerUI.plugins.DownloadUrl SwaggerUI.plugins.DownloadUrl,
] ],
}); });
window.ui = ui; window.ui = ui;