directories

1 files changed, 69 insertions, 0 deletions

diff --git a/public-src/jarmon-style/jquerytools.tabs.tabs-no-images.scss b/public-src/jarmon-style/jquerytools.tabs.tabs-no-images.scss
new file mode 100644
index 0000000..d97f579
--- /dev/null
+++ b/public-src/jarmon-style/jquerytools.tabs.tabs-no-images.scss
@@ -0,0 +1,69 @@
+/* Skin for jQuery Tools tabs.
+ *
+ * Based on <https://github.com/jquerytools/jquerytools.github.com/blob/master/media/css/tabs-no-images.css>.
+ *
+ * Documentation on tabs: <http://jquerytools.github.io/documentation/tabs/index.html>
+ */
+
+$tabs-tab-height: 15px;
+$tabs-tab-vpad: 2px;
+$tabs-tab-hpad: 10px;
+$tabs-border-width: 1px;
+$tabs-border-style: solid #666;
+$tabs-background-primary: #ddd;
+$tabs-background-secondary: #efefef;
+
+/* root element for tab bar */
+ul.css-tabs {
+    margin: 0;
+    padding: 0;
+    height: $tabs-tab-height;
+    border-bottom: $tabs-border-width $tabs-border-style;
+
+    /* single tab */
+    li {
+        float: left;
+        margin: 0;
+        padding: 0;
+        list-style-type: none;
+
+        /* link inside the tab */
+        a {
+            display:block;
+            height: $tabs-tab-height; /* $tabs-tab-height - 2*($tabs-tab-vpad+$tabs-border-width) */
+            padding: $tabs-tab-vpad $tabs-tab-hpad;
+            border: $tabs-border-width $tabs-border-style;
+            border-bottom: 0;
+
+            margin-right: 2px;
+            border-radius: 4px 4px 0 0;
+            text-decoration: none;
+
+            background: $tabs-background-secondary;
+            color: #777;
+
+            &:hover {
+                background-color: #F7F7F7;
+                color: #333;
+            }
+
+            /* selected tab */
+            &.current {
+                background: $tabs-background-primary;
+                border-bottom: $tabs-border-width solid $tabs-background-primary;
+                color: #000;
+                cursor:default;
+            }
+        }
+    }
+}
+
+/* tab pane */
+.css-panes > div {
+    display: none;
+    border: $tabs-border-width $tabs-border-style;
+    border-top: 0;
+    background: $tabs-background-primary;
+
+    padding: 15px 20px;
+}