Merge pull request #8673 from JakubOnderka/menu-ui

chg: [UI] Make menu little bit nicer
pull/9696/head
Jakub Onderka 2024-04-20 14:31:00 +02:00 committed by GitHub
commit 8ecb50a492
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 3 deletions

View File

@ -8,6 +8,7 @@ body {
width:100%;
min-width:1300px;
z-index: 20;
margin-bottom: 0;
}
input[type="file"] {
@ -229,13 +230,14 @@ div.index,
div.view {
float:right;
width:calc(100% - 216px);
border-left:1px solid #666;
padding:0px 10px;
border-left:1px solid silver;
padding:0 10px;
padding-bottom:40px;
}
div.actions {
float:left;
width:170px;
margin-top: 10px;
}
div.menuless-form {
@ -245,7 +247,6 @@ div.menuless-form {
width:550px;
}
div.actions h3 {
padding-top:0;
color:#777;