More extensive implementation of history browsing + integration with GUI
Change-Id: I78f810a0a87714322a20514bd3d1da2cc1839780
diff --git a/gui/html/style.css b/gui/html/style.css
index a4a4a03..4b7322d 100644
--- a/gui/html/style.css
+++ b/gui/html/style.css
@@ -116,7 +116,7 @@
}
/* */
-.file-list
+.item-list
{
border-radius: 6px;
@@ -130,7 +130,7 @@
/* border-collapse: collapse; */
}
-.file-list th
+.item-list th
{
/* -moz-border-radius: 10px; */
/* border-radius: 10px; */
@@ -144,13 +144,13 @@
text-align: left;
}
-.file-list th.border-left {
+.item-list th.border-left {
/* -moz-border-radius-topleft:10px; */
/* -webkit-border-top-left-radius:10px; */
/* border-top-left-radius:10px; */
}
-.file-list td
+.item-list td
{
padding: 8px;
border-bottom: 1px solid #fff;
@@ -172,7 +172,7 @@
border-bottom: 2px solid #99CCB2;
background: #EAF4EF;
}
-.file-list tfoot td {
+.item-list tfoot td {
padding: 0;
}