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

adapt blue unification area to max content

Browse Source
This commit is contained in:
Johanna Stuber 2021-03-10 12:27:22 +01:00
parent 86496440ed
commit 8068f82d40
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -60,7 +60,3 @@ tc-proof-tree {
border-style: solid; border-style: solid;
border-color: #37485f; border-color: #37485f;
} }
tc-unification {
background-color: #e9f2fd;
}

4
frontend/styles/view/unification.css
View File

@ -1,3 +1,7 @@
tc-unification { tc-unification {
flex: initial; flex: initial;
background-color: #e9f2fd;
min-width: 100%;
width: max-content;
padding-left: 12px;
} }