From 8b66a7b3b3bf226cb861a30419d640a4d9208e02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20Gro=C3=9Fe?= <grosse@cosmocode.de>
Date: Fri, 19 Jan 2018 17:28:47 +0100
Subject: [PATCH] feat: style new user tools logout button

We need to use a button here, because logout changes server state and
shut hence be POST request.
---
 css/area_nav-usertools.less | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/css/area_nav-usertools.less b/css/area_nav-usertools.less
index 2710719..4ee035f 100755
--- a/css/area_nav-usertools.less
+++ b/css/area_nav-usertools.less
@@ -221,6 +221,32 @@
                     }
                 }
             } // user
+
+            &.log {
+
+                button {
+                    padding: 2px 0 0 2px;
+                    min-height: @toggle-size; // overrides button[type="submit"] styles
+                    border: solid 1px @wikiicons-border;
+                    .btn-hover();
+
+                    &:hover svg, &:focus svg {
+                        transition: @transition fill;
+                        fill: @ini_nav_menu_hover_bg;
+                    }
+                }
+
+                span {
+                    display: none;
+                }
+
+                svg {
+                    fill: @ini_nav_menu_hover_color;
+                    height: @font-size-default + (@font-scale-factor * 4);
+                }
+
+
+            } // log
         } // li