Minor tweaks

This commit is contained in:
Jos de Jong 2020-07-29 22:03:30 +02:00
parent 9356f44c95
commit b30aac082b
2 changed files with 3 additions and 3 deletions

View File

@ -119,7 +119,7 @@
</button> </button>
<DropdownMenu <DropdownMenu
items={insertItems} items={insertItems}
title="Insert new value (Insert)" title="Insert new structure (Insert)"
> >
<button <button
class="button insert" class="button insert"

View File

@ -1,7 +1,7 @@
$font-family: consolas, monaco, "lucida console", "courier new", "dejavu sans mono", "droid sans mono", courier, monospace, sans-serif; $font-family: consolas, monaco, "lucida console", "courier new", "dejavu sans mono", "droid sans mono", courier, monospace, sans-serif;
$font-size: 10pt; $font-size: 13px;
$font-size-small: 8pt; $font-size-small: 11px;
$font-family-menu: arial, "sans-serif"; $font-family-menu: arial, "sans-serif";
$font-size-icon: 16px; $font-size-icon: 16px;