Documentation

A datatype to contain the logging environment: whether to use color output (if supported by the terminal), and the timezone to stamp messages in.

Create a LogEnv suitable for the given handle. If the output is an interactive terminal which supports color, then the output will be in color. If not then the output will be plain text without color. The timezone used will be that of the current machine.