Closed andy5995 closed 6 years ago
[wip][skip ci]
This will copy the same style.css that the web site uses. That seems easier than maintaining 2 separate css files.
I added a script that runs tidy-html5, but the user must install the program http://www.htacg.org/ to use it.
[wip][skip ci]
This will copy the same style.css that the web site uses. That seems easier than maintaining 2 separate css files.
I added a script that runs tidy-html5, but the user must install the program http://www.htacg.org/ to use it.