add space for buttons

This commit is contained in:
sfja 2024-12-16 22:07:16 +01:00
parent b96fe32201
commit b2bdf471f0
2 changed files with 6 additions and 1 deletions

View File

@ -82,6 +82,7 @@ async function codeCoverage(view: Element, codeData: string) {
const outerContainer = document.createElement("div"); const outerContainer = document.createElement("div");
outerContainer.classList.add("code-container"); outerContainer.classList.add("code-container");
outerContainer.classList.add("code-coverage");
const innerContainer = document.createElement("div"); const innerContainer = document.createElement("div");
innerContainer.classList.add("code-container-inner"); innerContainer.classList.add("code-container-inner");

View File

@ -104,6 +104,10 @@ main #cover {
border-radius: 0.5rem; border-radius: 0.5rem;
} }
#view .code-container.code-coverage {
max-height: calc(100% - 103px);
}
#view .code-container-inner { #view .code-container-inner {
display: flex; display: flex;
font-size: 1rem; font-size: 1rem;
@ -166,7 +170,7 @@ main #cover {
display: flex; display: flex;
justify-content: center; justify-content: center;
flex: 1; flex: 1;
padding: 2rem; padding: 2rem 0.5rem;
max-width: max-content; max-width: max-content;
} }