style options dialog

2014-09-21 04:34:36 +02:00
parent 7ec728ffb0
commit d233344534
5 changed files with 57 additions and 10 deletions
--- a/stylesheets/caffe.css
+++ b/stylesheets/caffe.css
@@ -380,3 +380,17 @@ div.boardlist {
 color:  rgba(0, 0, 0, 1);
 font-size: 9pt;
 }
+
+/* options.js */
+#options_div {
+  background: #a47a6b url('img/caffe_reply.png') repeat center;
+  border: solid 1px #a47a6b;
+  -moz-border-radius: 5px;
+  border-radius: 5px;
+}
+.options_tab_icon {
+  color: inherit;
+}
+#options_tablist {
+  border-color: #a47a6b;
+}