Changed algorithms menu design.

2026-10-25 13:30:16 +00:00 · 2022-02-12 20:16:40 +02:00
1 parent 9c6cfb4197
commit 430e6a80be
@@ -387,4 +387,16 @@
 .small-bottom-marging
 {
    margin-bottom: 4px;
+}
+
+.small-top-marging
+{
+    margin-top: 4px;
+}
+
+.categoryButton {
+    width: 100%;
+    text-align: left;
+    border: none;
+    border-radius: 0px    
 }