Toggle keywords highlighting
The created DC designs can be previewed via Designer or external browsers:
Designer uses Chromium as its embedded web browser for HTML and DC proofs.
It is also possible to display the designs via external browsers.
Their locations and links can be set in Proof | Options.