1extends: default 2base: 3 font: 4 color: #404040 5literal: 6 font: 7 family: Courier 8 color: #000000 9admonition: 10 icon: 11 note: 12 stroke-color: #000000 13 tip: 14 stroke-color: #000000 15 warning: 16 stroke-color: #FF5100 17 important: 18 stroke-color: #FF5100 19 caution: 20 stroke-color: #FF5100 21conum: 22 font: 23 glyphs: circled 24 color: #000000 25link: 26 text-decoration: underline 27 text-decoration-width: 0.5 28 font-color: #000000 29