More work on GUI
Change-Id: I824bf8f431117b404ea351f47aeb136db10d902a
diff --git a/gui/html/style.css b/gui/html/style.css
index 198e2ef..a4a4a03 100644
--- a/gui/html/style.css
+++ b/gui/html/style.css
@@ -181,6 +181,11 @@
background-color: #eeeeee;
}
+.highlighted {
+ background-color: #cccccc;
+ cursor: pointer;
+}
+
.filename {
width: 50%;
}
@@ -207,3 +212,13 @@
margin-top: -64px; /* Half the height */
margin-left: -64px; /* Half the width */
}
+
+userName {
+ display: inline-block;
+ /* ? how format user name? */
+}
+
+seqNo {
+ display: inline-block;
+ margin-left: 5px;
+}
\ No newline at end of file