Top Menu widget
Variables to customize Top Menu widget
$gbc-TopMenuWidget-horizontal-padding
Horizontal padding for Top Menu widget
Type: size
Default value: $theme-margin-ratio* 20px
Computed value: "12px"
$gbc-TopMenuWidget-line-height
Line height for Top Menu widget
Type: size
Default value: $theme-font-size-ratio* 26px
Computed value: "20.8px"
$gbc-TopMenuWidget-vertical-padding
Vertical padding for Top Menu widget
Type: size
Default value: $theme-margin-ratio* 6px
Computed value: "3.6px"
$gbc-TopMenuWidget-separator-color
Color for separator in Top Menu widget
Type: color
Default value: $theme-separator-color
Computed value: "#e3e3e3"
$gbc-TopMenuWidget-icon-size
Icon size in Top Menu widget
Type: size
Default value: $theme-small-icon-size
Computed value: "16px"
$gbc-TopMenuWidget-sidebar-background-color
Background Color for sidebar topmenu
Type: color
Default value: $theme-secondary-background-color
Computed value: "#f7f7f7"