/* Global CSS variables */
@import url("styles/dom.9280532cdeb8.css");
@import url("styles/utils.2a1eb5069e61.css");
@import url("styles/components.87fc9755f4bb.css");
@import url("styles/pygments.c3897ac03f2e.css");