font-size: 110%;
}
+/* Don't underline links in headers */
+h1 a {
+ text-decoration: none;
+}
+
p,dl,dd,form {
margin-bottom: 1em;
}
.hide-button:hover {
color: var(--danger-color-dark);
}
+
+/*\
+|*|
+|*| Game-specific markup
+|*|
+\*/
+
+.game-id, .players-header {
+ font-size: 110%;
+ font-weight: bold;
+}