various GUI improvements

This commit is contained in:
Stephan Richter
2020-12-11 00:57:53 +01:00
parent 1e2edabcb1
commit e80d5fe79f
9 changed files with 49 additions and 11 deletions

View File

@@ -330,4 +330,15 @@ textarea.json {
width: 90%;
height: 33%;
margin-left: 5%;
}
svg.preview circle,
svg.preview line,
svg.preview polygon,
svg.preview rect{
fill:peru;
}
svg.Block text{
fill: black;
}