/* discord.lafter.gg: the bot's page. */
.discordWrap { max-width: 860px; margin: 0 auto; padding: 1.6rem 1.2rem 3rem; }
.discordWrap h1 { font-family: var(--font-head); font-size: 2rem; color: var(--heading); margin: 0 0 0.4rem; }
.discordLead { font-family: var(--font-mono); font-size: 0.8rem; color: var(--text-muted); margin: 0 0 1.2rem; }
.discordCommands { border-collapse: collapse; width: 100%; font-family: var(--font-mono); font-size: 0.78rem; }
.discordCommands th { text-align: left; vertical-align: top; padding: 0.5rem 1rem 0.5rem 0; white-space: nowrap; font-weight: 400; color: var(--gold); }
.discordCommands td { padding: 0.5rem 0; color: var(--text); border-bottom: 1px solid var(--border); }
.discordCommands tr:last-child td { border-bottom: 0; }
.discordCommands code { font-family: var(--font-mono); }
.discordNote { margin-top: 1.4rem; font-family: var(--font-mono); font-size: 0.74rem; color: var(--text-muted); }