add options scroll

7 years ago · 79a7166564
parent 3701e0d582
commit 79a7166564
1 changed files with 2 additions and 1 deletions
--- a/site/src/routes/repl/_components/Output/CompilerOptions.html
+++ b/site/src/routes/repl/_components/Output/CompilerOptions.html
@ -5,6 +5,7 @@
 <style>
 	.options {
 		padding: 0 1rem;
 		overflow-y: auto;
 		font-family: var(--font-ui);
 		font-size: 1.3rem;
 		color: #999;
@ -141,4 +142,4 @@
 		<input type="checkbox" bind:checked={options.legacy}> <span class="boolean">{options.legacy}</span>
 	</label>
 	});
-</div>
+</div>