Skip to content

Are there more themes available besides default and serif? #331

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
jainanshul opened this issue Jan 16, 2016 · 1 comment
Closed

Are there more themes available besides default and serif? #331

jainanshul opened this issue Jan 16, 2016 · 1 comment

Comments

@jainanshul
Copy link

No description provided.

@tmcw
Copy link
Member

tmcw commented Jan 16, 2016

No, not currently.

rhendric pushed a commit to rhendric/documentation that referenced this issue Sep 15, 2022
…onjs#331)

* Add derive via Generic example, and point to latest docs

I often visit this page looking for a `genericShow` example.

It was also frustrating to click on the `Data.Generic.Rep` and be taken to an older package version that's missing lots of nice documentation. So ensuring links now go to the latest version. (related to purescript/pursuit#414)

* Clarify `derive` and more details on `Generic`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants