Top Menu widget

Variables to customize Top Menu widget

`$gbc-TopMenuWidget-horizontal-padding`

Horizontal padding for Top Menu widget

Type: size

Default value: $ui-margin-ratio* 20px

Computed value: "12px"

`$gbc-TopMenuWidget-line-height`

Line height for Top Menu widget

Type: size

Default value: $ui-font-size-ratio* 26px

Computed value: "20.8px"

`$gbc-TopMenuWidget-vertical-padding`

Vertical padding for Top Menu widget

Type: size

Default value: $ui-margin-ratio* 6px

Computed value: "3.6px"

`$gbc-TopMenuWidget-separator-color`

Color for separator in Top Menu widget

Type: color

Default value: $ui-border-color

Computed value: "rgb(224, 224, 224)"

`$gbc-TopMenuWidget-icon-size`

Icon size in Top Menu widget

Type: size

Default value: $gbc-small-icon-size

Computed value: "16px"