Dev #120

Merged
gr00tie merged 17 commits from dev into main 2023-11-15 21:34:08 +00:00
Showing only changes of commit 3d81a1e06c - Show all commits

View file

@ -24,6 +24,7 @@
text-decoration: none;
font-size: 17px;
display: block;
border-radius: 10px;
}
/* Style the hamburger menu */
@ -34,8 +35,9 @@
position: absolute;
right: 0;
top: 0;
margin-top: 8px;
margin-right: 8px;
margin-top: 10px;
margin-right: 10px;
border-radius: 10px;
}
/* Add a grey background color on mouse-over */