arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 10:50:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Reduce min height of proof tree

Browse Source
This commit is contained in:
Arne Keller 2021-04-04 17:39:49 +02:00
parent 94c70ea864
commit e4f5727683
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontend/styles/view/type-inference.css
View File

@ -68,7 +68,7 @@
tc-proof-tree {
flex-grow: 1;
min-height: 75vh;
min-height: 70vh;
display: block;
border-style: solid;