Add "Docs" and "Discord" links to header; style adjustments for GitHub and Discord links

This commit is contained in:
Pavel Garaev
2025-10-24 18:26:41 +04:00
parent 97b95c0950
commit 49082b8d76
2 changed files with 19 additions and 0 deletions

View File

@@ -637,6 +637,18 @@ div.special_table + table tr:nth-child(even) {
min-height: 100vh;
}
.header-github-link,
.header-discord-link {
gap: 0.25rem;
}
@media screen and (width >= 997px) {
.header-github-link,
.header-discord-link {
font-size: 0;
}
}
.header-github-link::before {
content: "";
width: 24px;