Skip to content

Website: add some left padding #97

@fingolfin

Description

@fingolfin

Looking at https://dominikbernhardt.github.io/carat/doc/index.html or https://lbfm-rwth.github.io/carat/doc/progs/Gauss.html it seems there should be some padding or margin on the left side. Screenshot:
Screenshot 2019-12-16 at 15 57 14

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions