mirror of
https://github.com/MarginaliaSearch/MarginaliaSearch.git
synced 2025-02-24 05:18:58 +00:00
(control) Add configurable border styling
To help distinguish between environments, a system property 'control.appBorder' is added that is injected as a body element border property in the control GUI stylesheets.
This commit is contained in:
parent
2161799cc3
commit
a2fc83d94e
@ -34,6 +34,7 @@ public class ControlRendererFactory {
|
|||||||
baseRenderer.render(context,
|
baseRenderer.render(context,
|
||||||
Map.of("global-context",
|
Map.of("global-context",
|
||||||
Map.of(
|
Map.of(
|
||||||
|
"appBorder", System.getProperty("control.appBorder", "none;"),
|
||||||
"nodes", nodeConfigurationService.getAll(),
|
"nodes", nodeConfigurationService.getAll(),
|
||||||
"hideMarginaliaApp", Boolean.getBoolean("control.hideMarginaliaApp")
|
"hideMarginaliaApp", Boolean.getBoolean("control.hideMarginaliaApp")
|
||||||
)
|
)
|
||||||
|
@ -2,3 +2,8 @@
|
|||||||
<link rel="stylesheet" href="/tables.css" />
|
<link rel="stylesheet" href="/tables.css" />
|
||||||
<link rel="stylesheet" href="/noanimation.css" />
|
<link rel="stylesheet" href="/noanimation.css" />
|
||||||
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
||||||
|
<style type="text/css">
|
||||||
|
body {
|
||||||
|
border: {{{global-context.appBorder}}};
|
||||||
|
}
|
||||||
|
</style>
|
Loading…
Reference in New Issue
Block a user