}
#button-list-container > * {
margin: 0.5ex;
- padding 0.1ex;
+ padding: 0.1ex;
display: flex;
}
text-decoration: underline;
}
a, a:visited { color: blue; }
-.hints { margin-left: auto; margin-right: 0; }
+.hints { margin-left: auto; margin-right: 1ex; }
.hints .hint {
display: inline-block;
width: 1.8ex;