The documentation for terminal says > Changing the style is permanent even after program termination! Use the code > `system.addQuitProc(resetAttributes)` to restore the defaults.
$