Don't overlap border of overview panel with PDF bar
@@ -149,12 +149,7 @@
}
.rp-entry-list {
- .rp-size-expanded & {
- width: @review-panel-width;
- }
- .rp-size-mini & {
- width: @review-off-width;
+ width: 100%;
.rp-state-current-file & {
position: absolute;