1html {
2	padding: 0;
3	width: 100%;
4	height: 100%;
5}
6
7body {
8  padding: 32px;
9	font-family: 'trebuchet ms', verdana, arial;
10	position: relative;
11	width: 100%;
12	height: 100%;
13	box-sizing: border-box;
14	margin: 0;
15}
16
17/* @media (prefers-color-scheme: dark) {
18	body {
19		background-color: #3f3f3f;
20		color: #c8c8c8;
21	}
22	a, label {
23		color: #d8d8d8;
24	}
25} */
26.mermaid {
27  /* font-family: 'trebuchet ms', verdana, arial; */
28}
29.marketing-links {
30  font-size: 16px;
31}
32
33.ant-card {
34  margin-bottom: 16px;
35}
36
37i {
38  font-size: 10px !important;
39}
40
41.mermaidTooltip {
42  position: absolute;
43}
44
45@font-face{
46	font-family: "codicon";
47	src: url("codicon.ttf") format("truetype");
48}
49