Merge pull request #2381 from jaller94/tabs-border
commit72b2c7ee2e54a52d2dfb4bfd31f7981fad602f8c
authorAndreas Gohr <andi@splitbrain.org>
Fri, 7 Sep 2018 08:49:09 +0000 (7 10:49 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Sep 2018 08:49:09 +0000 (7 10:49 +0200)
tree77ade784359d598e6ef1ec982285920320b9161f
parentb022a75f7f709928ddb35fd0a47440aa10e5f12b
parent77bb2b90ca20c0ac0ed462f91ffea1287682e70f
Merge pull request #2381 from jaller94/tabs-border

Border underneath `.tabs` drawn in front of the pagetools