1  .image-black-bg {
 2    background-color: black;
 3  }
 4  
 5  .image-white-bg {
 6    background-color: white;
 7  }
 8  
 9  @font-face {
10    font-family: "Fira Code";
11    /* Variable fonts not caching with nginx */
12    /*src: url("/fonts/FiraCode-VariableFont_wght.ttf") format("truetype");*/
13    /*src: url("/fonts/FiraCode-VF.woff2") format("woff2");*/
14    src: url("/fonts/FiraCode-Regular.woff2") format("woff2");
15  }
16  
17  body {
18    font-family: "Fira Code", monospace;
19    font-size: 20px;
20    color: #dedede;
21  }
22  
23  a {
24    color: var(--accent-1);
25    text-decoration: none;
26  }
27  
28  a:active {
29    color: var(--accent-3);
30  }
31  
32  a:hover {
33    color: var(--accent-3);
34  }
35  
36  /* used for TermPrompt and Tree Node */
37  .accent-2 {
38    color: var(--accent-2);
39  }
40  
41  .highlighted-text {
42    color: var(--accent-3);
43  }
44  
45  .dimmed-text {
46    color: #575757;
47  }