phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

center github icon

Browse Source
This commit is contained in:
Jon Eugster
2024-03-26 10:04:39 +01:00
parent 389e120117
commit a7784ef66b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/css/landing_page.css
+2
View File
@@ -189,6 +189,8 @@ footer .link {
.github-link {
height: 24px; /* TODO: why do I need that? s*/
margin-top: auto;
margin-bottom: auto;
}
.landing-page > section {