diff --git a/windows/src/desktop/kmshell/xml/config.css b/windows/src/desktop/kmshell/xml/config.css
index 281d6afe73..b842e8963f 100644
--- a/windows/src/desktop/kmshell/xml/config.css
+++ b/windows/src/desktop/kmshell/xml/config.css
@@ -708,7 +708,7 @@ table tr
.options_list_header
{
- background: #e0e5ef;
+ background: #DADDDC;
font-size: 13.3px;
font-weight: bold;
color: #001020;
@@ -751,7 +751,7 @@ table tr
.hotkey_title
{
- background: #e0e5ef;
+ background: #DADDDC;
font-size: 13.3px;
font-weight: bold;
color: #001020;
diff --git a/windows/src/desktop/kmshell/xml/config.js b/windows/src/desktop/kmshell/xml/config.js
index 57331aa149..d9661a6bb0 100644
--- a/windows/src/desktop/kmshell/xml/config.js
+++ b/windows/src/desktop/kmshell/xml/config.js
@@ -27,7 +27,7 @@ function windowResize()
eContent.style.top = 0 + 'px';
eMenu.style.height = (document.body.offsetHeight - eFooter.offsetHeight - eMenu.offsetTop) + 'px';
- var h = (eContent.offsetHeight - 37 - 2) + 'px'; // header height and border height
+ var h = (eContent.offsetHeight - 40 - 2) + 'px'; // header height and border height
_$('subcontent_keyboards').style.height = h;
_$('subcontent_options').style.height = h;
var e = _$('subcontent_hotkeys');
@@ -280,7 +280,6 @@ document.addEventListener("DOMContentLoaded", windowResize);
state.modify_languages.push({name: name, modify: $(this).hasClass('modify-visible')});
}
});
-
const stateJson = JSON.stringify(state);
const params = new URLSearchParams(window.location.search);
const PageTag = params.get('tag');
diff --git a/windows/src/desktop/kmshell/xml/keyman_keyboardlist.xsl b/windows/src/desktop/kmshell/xml/keyman_keyboardlist.xsl
index fafe4f3947..1ac342be2c 100644
--- a/windows/src/desktop/kmshell/xml/keyman_keyboardlist.xsl
+++ b/windows/src/desktop/kmshell/xml/keyman_keyboardlist.xsl
@@ -222,7 +222,7 @@