/**
 * Minified by jsDelivr using clean-css v5.3.3.
 * Original file: /npm/@wiris/mathtype-generic@8.13.2/styles.css
 *
 * Do NOT use SRI with dynamically generated files! More information: https://www.jsdelivr.com/using-sri-with-dynamic-files
 */
header{background-color:#f26a54!important}nav.navigation{font-family:consolas,"Liberation Mono",courier,monospace;line-height:1.2}
/*# sourceMappingURL=/sm/f4a78820ca71b5c3d1739dbd08c8d95a4b600560287cb2fd696274c17cdcfd20.map */