Skip to content

Separate .css and .js files in html backend #21

@gallais

Description

@gallais

It would be nice to move all of the shared content to a couple of files that are imported via
a link href in the head rather than repeated inline in every generated html file.

This would also make it easier for users to modify the css after the facts instead of having
to recompile after providing a separate dhall configuration file.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions