Put contexts dict in <script> and reveal them using JavaScript#1587

Merged

nedbat merged 6 commits intonedbat:masterfrom abo-abo:oleh/contexts

Mar 22, 2023

+65-17

Commits on Mar 22, 2023

Put contexts dict in <script> and reveal them using JavaScript

abo-abo
authored and
nedbat
committed
Address review comments

abo-abo
authored and
nedbat
committed
coverage/htmlfiles/style.css: Align the contexts to the right

abo-abo
authored and
nedbat
committed
coverage/htmlfiles/style.scss: Match style.css

abo-abo
authored and
nedbat
committed
coverage/html.py: Fix linting and mypy errors

abo-abo
authored and
nedbat
committed
two_tests_py.html: make update-gold

abo-abo
authored and
nedbat
committed