Use bootstrap overflow classes

jgonggrijp · XanderVertegaal · jgonggrijp · commit 23b81c3870b1 · 2026-03-19T18:49:31.000+01:00
Review suggestion in #79 Co-authored-by: Xander Vertegaal <73882506+XanderVertegaal@users.noreply.github.com>
diff --git a/frontend/src/app/annotate/annotation-menu/annotation-menu.component.html b/frontend/src/app/annotate/annotation-menu/annotation-menu.component.html
@@ -20,7 +20,7 @@
             <span i18n>Proof / Entailment</span>
         </button>
         <ng-template ngbNavContent>
-            <section style="overflow-x: scroll;">
+            <section class="overflow-x-scroll">
                 @if (proofs) {
                 <la-tableau-svg [tree]="proofs.entailment"></la-tableau-svg>
                 }

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@`
`20`	`20`	`<span i18n>Proof / Entailment</span>`
`21`	`21`	`</button>`
`22`	`22`	`<ng-template ngbNavContent>`
`23`		`- <section style="overflow-x: scroll;">`
	`23`	`+ <section class="overflow-x-scroll">`
`24`	`24`	`@if (proofs) {`
`25`	`25`	`<la-tableau-svg [tree]="proofs.entailment"></la-tableau-svg>`
`26`	`26`	`}`