Do you know some tool to
The goal is to have a single HTML file which can be properly viewed off-line.
Either of the platforms: online (web access), Unix, Windows is fine.
I thought that could be reached by replacing all:
and similarly all
<link rel="stylesheet" type="text/css" href="theme.css"> with
<head> <style> Here goes the content of theme.css </style </head>
(or whatever the actual syntax is)
wgetall the resources.