Attempt to better adjust expert switch padding (TODO: dynamic)
authorBenjamin Auder <benjamin.auder@somewhere>
Mon, 10 Dec 2018 16:35:01 +0000 (17:35 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Mon, 10 Dec 2018 16:35:01 +0000 (17:35 +0100)
public/stylesheets/variant.sass

index c98807f..eb74cc0 100644 (file)
@@ -74,8 +74,7 @@ figure.diagram-container > .diagram
   background-color: red
 
 .expert-switch
-  padding: 0 10px 5px 10px
-  margin: 0
+  padding: 3px 7px
 
 .expert-mode, button.expert-mode:hover
   background-color: #ffcc99