UI updates

python_app/gui/theme.py

@@ -47,6 +47,16 @@ QPushButton:pressed {
     background-color: #1a2432;
 }
 
+QPushButton:checked {
+    background-color: #2f7ee6;
+    border-color: #5d88bd;
+    color: #ffffff;
+}
+
+QPushButton:checked:hover {
+    background-color: #3c89ee;
+}
+
 QPushButton:disabled {
     color: #6b7d95;
     background-color: #151d27;
@@ -63,6 +73,7 @@ QPushButton#settingsToggleButton {
 
 QLineEdit,
 QPlainTextEdit,
+QTextEdit,
 QComboBox,
 QSpinBox,
 QDoubleSpinBox {
@@ -75,12 +86,19 @@ QDoubleSpinBox {
 
 QLineEdit:focus,
 QPlainTextEdit:focus,
+QTextEdit:focus,
 QComboBox:focus,
 QSpinBox:focus,
 QDoubleSpinBox:focus {
     border: 1px solid #5d88bd;
 }
 
+QTextEdit#runtimeLogBox {
+    font-family: "DejaVu Sans Mono";
+    font-size: 12px;
+    padding: 6px 8px;
+}
+
 QComboBox::drop-down {
     border: none;
     width: 18px;