Skip to content

Commit

Permalink
remove duplicate code
Browse files Browse the repository at this point in the history
  • Loading branch information
mwan391 committed Oct 20, 2023
1 parent 4e08f4e commit fbe4e76
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions src/styles/ProofCenteredLine.css
Original file line number Diff line number Diff line change
@@ -1,10 +1,3 @@
body.dark-mode {
--color-hover-highlight: var(--color-hover-highlight-dark);
}

body:not(.dark-mode) {
--color-hover-highlight: var(--color-hover-highlight-light);
}

.centered-line {
margin: 5px;
Expand Down

0 comments on commit fbe4e76

Please sign in to comment.