chore(release)

2023-01-31 16:34:34 +01:00 · 2023-01-31 16:34:34 +01:00 · 4f5e4c38bb
commit 4f5e4c38bb
parent d2e6dc8730
3 changed files with 7 additions and 1 deletions
--- a/package.json
+++ b/package.json
@ -1,6 +1,6 @@
 {
  "name": "redaction",
-  "version": "3.902.0",
+  "version": "3.903.0",
  "private": true,
  "license": "MIT",
  "scripts": {
--- a/paligo-theme.tar.gz
+++ b/paligo-theme.tar.gz
--- a/paligo-theme/paligo-styles/redacto-theme.css
+++ b/paligo-theme/paligo-styles/redacto-theme.css
@ -336,6 +336,12 @@ body {
  --iqser-app-name-font-size: 18px;
  --iqser-app-name-color: black;
  --iqser-top-bar-height: 61px;
+  --iqser-menu-margin-top: 10px;
+  --iqser-menu-border-radius: 8px;
+  --iqser-menu-padding-top: 8px;
+  --iqser-menu-padding-bottom: 24px;
+  --iqser-menu-min-height: 24px;
+  --iqser-menu-item-margin: 0 8px 2px 8px;
 }

 .site-sidebar {