Exception: variable @color_term_margin is undefined: failed at `margin: @color_term_margin;` line: 19

An unforeseen error has occured. This is most likely a bug somewhere.

More info has been written to the DokuWiki error log.