margin-left: 15px
button.play.spaceright
margin-right: 15px
+button.play.big-spaceleft
+ margin-left: 25px
+button.play.big-spaceright
+ margin-right: 25px
.aboveboard-wrapper
width: 80vh
.highlight
background-color: #00cc66 !important
+.in-shadow
+ filter: brightness(50%)
+
.incheck
background-color: #cc3300 !important