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