:root{
--pcolor: #001f3d;
--pcolor-rgb: 0, 31, 61;
--pcolor-hover: #001a33;
--pcolor2: #000000;
--pcolor3: #000000;
--pcolor2-hover: #000000;
--pcolor3-hover: #000000;
--pcolor-subtle: #ced9d5;
--scolor: #001f3d;
--scolor-rgb: 0, 31, 61;
--scolor-hover: #001a33;
--scolor2: #000000;
--scolor3: #000000;
--scolor2-hover: #000000;
--scolor3-hover: #000000;
--scolor-subtle: #ced9d5;
--linkcolor-rgb: 0, 31, 61;
--linkcolor-hover-rgb: 0, 26, 51;
--danger-rgb: 0, 31, 61;
--highlighted-color-rgb: 0, 0, 0;
--own-color-rgb: 0, 0, 0;
--own-color-rgb2: 0, 0, 0;
--bs-border-color: #ced9d5;
--bs-primary-border-subtle: #ced9d5;
--bs-secondary-border-subtle: #ced9d5;
}