Small fix for target-highlight in "responsive" stylesheet (HTML5).
treeabf8a96031fe9e065c854be2e9f44653de1cedb4
-rw-r--r-- 3165 .flake8
-rw-r--r-- 1662 .gitattributes
-rw-r--r-- 393 .gitignore
-rw-r--r-- 616 .pre-commit-config.yaml
drwxr-xr-x - docutils
drwxr-xr-x - sandbox
drwxr-xr-x - web