overwrite font in tab menu (#7324)

* overwrite font in tab menu * move css rules to another module --------- Co-authored-by: Philipp Otto <[email protected]>
scalableminds · Sep 8, 2023 · 18a042d · 18a042d
1 parent d695791
commit 18a042d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/frontend/stylesheets/flex_layout_overwrites.less b/frontend/stylesheets/flex_layout_overwrites.less
@@ -61,6 +61,13 @@
   z-index: 100;
 }
 
+.flexlayout__popup_menu {
+  // These properties are copied from antd's styling:
+  font-family: @font-family;
+  font-weight: 400;
+  font-size: 14px;
+}
+
 .flexlayout__tab_button {
   margin: 0;
   padding: 0px 5px;

diff --git a/frontend/stylesheets/main.less b/frontend/stylesheets/main.less
@@ -668,6 +668,7 @@ i.without-icon-margin,
   }
 }
 
-.ant-message, .ant-message * {
+.ant-message,
+.ant-message * {
   pointer-events: none;
 }