Use smaller page header on desktop browsers#4418

Merged

richard-cox merged 2 commits intomasterfrom mat-desktop-header-height

Jul 7, 2020

+15

Commits on Jul 2, 2020

Use smaller page header on desktop browsers
nwmac
committed

Commits on Jul 3, 2020

Change tooltip appear time
nwmac
committed