fix: Reload graph after a theme change (closes #1380) (#1383)

MarcRez33

2024-08-31 01fc26d2c0453b5dec70669b8cadd0622b64036c

1
2
3
4
5
6
7
8
9
$pageWidth: 750px;
$mobileBreakpoint: 600px;
$tabletBreakpoint: 1000px;
$sidePanelWidth: 380px;
$topSpacing: 6rem;
$fullPageWidth: $pageWidth + 2 * $sidePanelWidth;
$boldWeight: 700;
$semiBoldWeight: 600;
$normalWeight: 400;