Skip to content

Design improvements - #348

Merged
ScriptRaccoon merged 14 commits into
mainfrom
design-improvements
Sep 2, 2026
Merged

Design improvements#348
ScriptRaccoon merged 14 commits into
mainfrom
design-improvements

Conversation

@ScriptRaccoon

@ScriptRaccoon ScriptRaccoon commented Sep 1, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

This PR makes several design improvements. The most important ones are:

  1. The structure selector looks better: the label is now next to it.
  2. The list summarizing a structure/property has been replaced with an aligned table.
  3. Tags now have icons.
  4. For property proofs, the speech bubble icon has been replaced with the info circle icon that is already used for implication proofs.
  5. The heading hierarchy has been shifted: the page h1 is no longer "CatDat" on every page, but rather the respective page title (such as "List of categories"). That is, h2 has become h1, and h3 has become h2. This does not change the design, but provides a more accessible document structure. This change also affects content pages.
  6. Accordingly, the CatDat logo in the header is not an h1 anymore, but rather a link to the homepage.
  7. The code snippets on the download page look much better, have a copy button, and more examples have been added.

Before / After

 

@ScriptRaccoon
improve structure selector styling
ed13f79 
- use variant prop
- refactor scoped styling
- show label in nav mobile
- put label next to selector in header
@ScriptRaccoon
increase font size of h2
c6efe7e
@ScriptRaccoon
replace info list with information table, improve spacing
cb65601
@ScriptRaccoon
add tag icon to tags
bcfa2c4
@ScriptRaccoon
ScriptRaccoon marked this pull request as ready for review September 2, 2026 09:40
@ScriptRaccoon
ScriptRaccoon merged commit bb99b4c into main Sep 2, 2026
1 check passed
@ScriptRaccoon
ScriptRaccoon deleted the design-improvements branch September 2, 2026 09:46
@ScriptRaccoon ScriptRaccoon mentioned this pull request Sep 2, 2026
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

feature

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ScriptRaccoon