/*
* Copyright 2014-2023 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license.
*/
@import url('./font-jb-sans-auto.css');
@import url('https://fonts.googleapis.com/css?family=JetBrains+Mono');
/* --- root styles --- */
:root {
--default-gray: #f4f4f4;
--default-font-color: black;
--header-font-color: var(--default-font-color);
--breadcrumb-font-color: #637282;
--breadcrumb-margin: 24px;
--hover-link-color: #5B5DEF;
--footer-height: 64px;
--footer-padding-top: 48px;
--footer-background: var(--default-gray);
--footer-font-color: var(--average-color);
--footer-go-to-top-color: white;
--horizontal-spacing-for-content: 16px;
--bottom-spacing: 16px;
--color-scrollbar: rgba(39, 40, 44, 0.40);
--color-scrollbar-track: 