Change detail font size (main and tab fonts)

This commit is contained in:
lolabird 2024-08-22 11:44:22 -06:00
commit fae51ad408
No known key found for this signature in database
GPG key ID: 0B9E871F678F9DB3

View file

@ -38,13 +38,13 @@ html {
/***fonts***/ /***fonts***/
/*general fonts*/ /*general fonts*/
--main-font-family: sans-serif; --main-font-family: sans-serif;
--main-font-size: 1.2em; --main-font-size: 1.2rem;
--tree-font-family: serif; --tree-font-family: serif;
--tree-font-size: 1.3rem; --tree-font-size: 1.3rem;
--detail-font-family: sans-serif; --detail-font-family: sans-serif;
--detail-font-size: 1.5rem; --detail-font-size: 1.1rem;
/*code fonts*/ /*code fonts*/
--monospace-font-family: monospace; --monospace-font-family: monospace;
@ -663,4 +663,4 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #c60101;}
/***code errors***/ /***code errors***/
.cm-s-default .cm-error {color: #f00;} .cm-s-default .cm-error {color: #f00;}
.cm-invalidchar {color: #f00;} .cm-invalidchar {color: #f00;}