Skip to content
This repository has been archived by the owner on Dec 11, 2019. It is now read-only.

Commit

Permalink
Merge pull request #4524 from bsclifton/revert-win7-border-radius
Browse files Browse the repository at this point in the history
Remove border radius from Windows 7; it has issues on higher DPI setups.
  • Loading branch information
bbondy authored Oct 4, 2016
2 parents 44ecd3b + c014c58 commit 0a80b1b
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions less/navigationBar.less
Original file line number Diff line number Diff line change
Expand Up @@ -78,11 +78,6 @@

// Windows 7 specific styles
&.win7 {
> div#window.frameless {
border-top-left-radius: 6px;
border-top-right-radius: 6px;
}

.windowCaptionButtons {
> .container {
margin-right: 6px;
Expand Down

0 comments on commit 0a80b1b

Please sign in to comment.