1
1
mirror of https://github.com/Fabio286/antares.git synced 2025-06-05 21:59:22 +02:00

style: general lint fix

This commit is contained in:
2022-08-09 16:18:21 +02:00
parent 44eb507a12
commit 19205e0736
11 changed files with 142 additions and 140 deletions

View File

@@ -28,13 +28,14 @@ $settingbar-width: 3rem;
$explorebar-width: 14rem;
$footer-height: 1.5rem;
@function get-excluding-size(){
@if $platform == linux{
@return $footer-height;
}
@else {
@return $footer-height + $titlebar-height;
}
@function get-excluding-size() {
@if $platform == linux {
@return $footer-height;
}
@else {
@return $footer-height + $titlebar-height;
}
}
$excluding-size: get-excluding-size();