5 // Mimic .panel-default styling.
7 background-color: @panel-bg;
8 border: 1px solid @panel-default-border;
10 border-radius: 0 0 @panel-border-radius @panel-border-radius;
11 box-shadow: 0 1px 1px rgba(0,0,0,.05);
15 &:extend(.clearfix all);
24 .nav.nav-tabs.filter-formats {