h1 { font-family: Arial, Helvetica, sans-serif; }
/* 코드/수식 표기용 폰트 */
textarea, input[type="text"], input:not([type]) { font-family: 'D2Coding', Consolas, Menlo, monospace; }
#progress-log { line-height: 1.5; }