Top menu specific variables

Configure variables specific to Top menu widget

`$gbc-TopMenuWidget-horizontal-padding`

Type: size

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

Computed value: 12px

`$gbc-TopMenuWidget-line-height`

Type: size

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

Computed value: 20.8px

`$gbc-TopMenuWidget-vertical-padding`

Type: size

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

Computed value: 3.6px

`$gbc-TopMenuWidget-hover-color`

Type: color

Default value: $theme-primary-faded-background-color

Computed value: #bbdefb

`$gbc-TopMenuWidget-separator-color`

Type: color

Default value: $theme-separator-color

Computed value: #e0e0e0

`$gbc-TopMenuWidget-icon-size`

Type: size

Default value: $theme-small-icon-size

Computed value: 16px