erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-10-06 14:07:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

Merge pull request #10818 from keymanapp/fix/developer/10817-project-welcome-scroll-bar

Browse source 
fix(developer): make sure scroll bar appears when needed in global welcome
This commit is contained in:
Marc Durdin 2024-03-01 07:52:05 +07:00 • committed by GitHub
commit 02b459f231
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
developer/src/tike/xml/project/project.css
View file

@ -121,7 +121,16 @@ table.io th {
font: bold 8pt "Segoe UI"
}
.pages { overflow-y: auto; padding-top: 12px; width: 100%; height: 100% }
.pages {
overflow-y: auto;
padding-top: 12px;
width: 100%;
height: 100%;
}
#globalwelcome .pages {
max-height: calc(100% - 213px); /* 213px is height of the pageheader 201px + 12px padding-top; TODO: rework as grid */
}
.checkbox { background-image: url("chk_checkbox.gif");}
.checked { background-image: url("chk_checked.gif"); }
@ -249,6 +258,7 @@ k\:menuitem.down {
background: #6D6C6F;
border: none;
color: #dadddc;
height: 201px;
}
#globalwelcome #pageheader a {