ui-diff.c: create a control panel for diff options

Signed-off-by: Lars Hjemli <hjemli@gmail.com>

1 files changed, 27 insertions, 0 deletions

diff --git a/cgit.css b/cgit.css
index 1d90057..55afa94 100644
--- a/cgit.css
+++ b/cgit.css
@@ -331,6 +331,33 @@ table.commit-info {
         margin-top: 1.5em;
 }
 
+div.cgit-panel {
+        float: right;
+        margin-top: 1.5em;
+}
+
+div.cgit-panel table {
+        border-collapse: collapse;
+        border: solid 1px #aaa;
+        background-color: #eee;
+}
+
+div.cgit-panel th {
+        text-align: center;
+}
+
+div.cgit-panel td {
+        padding: 0.25em 0.5em;
+}
+
+div.cgit-panel td.label {
+        padding-right: 0.5em;
+}
+
+div.cgit-panel td.ctrl {
+        padding-left: 0.5em;
+}
+
 table.commit-info th {
         text-align: left;
         font-weight: normal;