Production release (for EOSC EXPLORE) December 2023 #8

Merged
konstantina.galouni merged 8 commits from develop into master 2023-12-12 11:45:27 +01:00
1 changed files with 13 additions and 3 deletions
Showing only changes of commit 821f1e658b - Show all commits

View File

@ -46,9 +46,19 @@
@global-xlarge-box-shadow: -20px -20px 25px rgba(0, 0, 0, 0.02), 20px 20px 25px rgba(0, 0, 0, 0.08);
/* Spacings */
@global-small-gutter: 20px;
@global-xsmall-gutter: 10px;
@global-xsmall-margin: 5px;
@global-xsmall-gutter: 8px;
@global-small-gutter: 16px;
@global-gutter: 32px;
@global-medium-gutter: 40px;
@global-large-gutter: 72px;
@global-xsmall-margin: 4px;
@global-small-margin: 8px;
@global-margin: 16px;
@global-medium-margin: 40px;
@global-large-margin: 72px;
@global-xlarge-margin: 144px;
/* Controls */
@global-control-small-height: 30px;