Compare commits

..

No commits in common. "9513d6436dcab78b024d5e686b425429de955068" and "fb1bd808a0eac6b1031d1bf9f68487eb257053ff" have entirely different histories.

2 changed files with 1 additions and 2 deletions

View file

@ -70,7 +70,7 @@ hr {
&.vertical { &.vertical {
display: inline; display: inline;
height: $space_tiny; height: $line_basic;
margin: 0 $space_double; margin: 0 $space_double;
border-width: 0 $width_border_basic 0 0; border-width: 0 $width_border_basic 0 0;
} }

View file

@ -159,7 +159,6 @@ button {
padding: $padding_basic; padding: $padding_basic;
color: $color_text_button; color: $color_text_button;
background-color: $color_back_button; background-color: $color_back_button;
user-select: none;
&:hover { &:hover {
// border-color: #0059F6; // border-color: #0059F6;