/**
 * Minified by jsDelivr using clean-css v5.3.3.
 * Original file: /npm/@intergrav/dev.css@4.4.0/theme/terminal.user.css
 *
 * Do NOT use SRI with dynamically generated files! More information: https://www.jsdelivr.com/using-sri-with-dynamic-files
 */
:root{--dc-font:var(--dc-font-mono);--dc-cs:dark;--dc-tx-1:#ffffff;--dc-tx-2:#eeeeee;--dc-bg-1:#001a00;--dc-bg-2:#000;--dc-bg-3:#005800;--dc-lk-1:#00ff00;--dc-lkb-1:#00ff00;--dc-lkb-2:#00d400;--dc-lkb-tx:#000;--dc-ac-1:#00ff00;--dc-ac-tx:#000}
/*# sourceMappingURL=/sm/e36db8821ad5f5359128015fc0e26743a6688f7f7452cbf6dd8c2fdb3ab6bdc6.map */