webui: Append server-pushed logging messages to the logging box

* Colorize the logging messages of different level with different colors
* Also add a different icon for each message

1 files changed, 28 insertions, 0 deletions

diff --git a/fg21sim/webui/static/css/main.css b/fg21sim/webui/static/css/main.css
index a574990..de40123 100644
--- a/fg21sim/webui/static/css/main.css
+++ b/fg21sim/webui/static/css/main.css
@@ -374,12 +374,40 @@ button,
     font-size: 1.6rem;
     font-weight: bold;
 }
+.panel-control {
+    float: right;
+}
 .panel-body {
     padding: 1.5rem;
 }
 
 
 /**
+ * Logging messages styles
+ */
+p.log {
+    font-size: 1.3rem;
+    margin-bottom: 0;
+}
+p.log span {
+    margin-right: 0.8rem;
+}
+p.log.log-debug {
+    color: inherit;
+}
+p.log.log-info {
+    color: #398439;
+}
+p.log.log-warning {
+    color: #d58512;
+}
+p.log.log-error,
+p.log.log-critical {
+    color: #ac2925;
+}
+
+
+/**
  * Horizontal rules
  */
 hr {