Commit de115231 authored by Christian Hergert's avatar Christian Hergert
Browse files

theme: make styling more portable

parent 542014dd
......@@ -108,6 +108,7 @@ ideeditorsidebar .flat-menu-button:hover {
ideeditorutilities dzltab {
background: @theme_bg_color;
padding: 6px 8px;
margin: 0;
border-style: solid;
border-color: @borders;
border-width: 1px 1px 0 1px;
......@@ -128,6 +129,6 @@ ideeditorutilities dzltab:last-child {
border-bottom-width: 1px;
}
ideeditorutilities dzltabstrip {
margin: 3px 0px 5px 0;
margin: 5px;
border-style: none;
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment