Skip to content

Make a nicer doc theme #6500

New issue
New issue
Closed
#7371
Closed
Make a nicer doc theme#6500
#7371
Labels
docsAn issue/PR that touches or should touch the docsenhancement
Milestone
fish 3.2.0
@faho

Description

@faho
faho
opened on Jan 13, 2020

As asked for by @ridiculousfish in #5696:

We should have a nicer, custom, doc theme.

Metadata

Metadata

Assignees

No one assigned

    Labels

    docsAn issue/PR that touches or should touch the docsenhancement

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions