Use 1px borders: fix Google Chrome & Edge
authorMaxim Belkin <maxim.belkin@gmail.com>
Thu, 20 Jun 2019 16:04:24 +0000 (11:04 -0500)
committerFrançois Michonneau <francois.michonneau@gmail.com>
Thu, 20 Jun 2019 16:22:51 +0000 (18:22 +0200)
See https://github.com/swcarpentry/git-novice/pull/662#issuecomment-499555724

assets/css/lesson.scss

index 9b000a1c06e320e9dc27bbb0b7778a041a2bce0b..752a449da6a0b96ce512f1347ee24bc82b00abfe 100644 (file)
@@ -30,7 +30,7 @@ $color-testimonial: #fc8dc1 !default;
 
 @mixin cdSetup($color) {
     color: $color;
-    border: solid 0.5px $color;
+    border: solid 1px $color;
     border-left: solid 5px $color;
     margin: 15px 5px 10px 0;
     border-radius: 4px 0 0 4px;