diff options
author | Gaute Hope <eg@gaute.vetsj.com> | 2018-07-01 11:19:32 +0200 |
---|---|---|
committer | Gaute Hope <eg@gaute.vetsj.com> | 2018-07-01 11:19:32 +0200 |
commit | 446f1c0bcf7b2d44df5fd140908294291b3af52b (patch) | |
tree | 020269ece9e2e0ce9e496e05add2d5daea1a799f /ui | |
parent | 728a929fed5e118ea91b87d8a58c351fe89a2538 (diff) |
part: add version
Diffstat (limited to 'ui')
-rw-r--r-- | ui/part.scss | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/part.scss b/ui/part.scss index 758707e..66ad8ac 100644 --- a/ui/part.scss +++ b/ui/part.scss @@ -1,3 +1,4 @@ +/* ui-version: 4 (do not change when modifying theme for yourself) */ /* Fonts */ @if not(global-variable-exists(font-base-size)) { $font-base-size: 16px !global; |