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

Adjust the margin of the home button

Browse Source
This commit is contained in:
ran
2023-12-12 19:51:20 +08:00
parent a2726ae287
commit 2ba36b91d5
2 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/css/app.css
+1
View File
@@ -114,6 +114,7 @@ em {
.app-bar > .app-bar-left{ .app-bar > .app-bar-left{
display: flex; display: flex;
align-items: center; align-items: center;
gap: .5em;
} }
.app-bar-title, .app-bar-subtitle { .app-bar-title, .app-bar-subtitle {
client/src/css/level.css
-5
View File
@@ -317,11 +317,6 @@ td code {
margin-right: 0; margin-right: 0;
} }
#home-btn {
margin-right: .5em;
margin-left: 0;
}
.menu.dropdown .svg-inline--fa { .menu.dropdown .svg-inline--fa {
width: 1.8rem; width: 1.8rem;
} }