Skip to content
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

improve display on mobile phones #40

Merged
merged 6 commits into from
May 18, 2023
Merged

improve display on mobile phones #40

merged 6 commits into from
May 18, 2023

Commits on May 7, 2023

  1. improve display on mobile phones

    improve display on mobile phones and other small devices + whitespaces in styles
    domel authored May 7, 2023
    Configuration menu
    Copy the full SHA
    e723abe View commit details
    Browse the repository at this point in the history

Commits on May 8, 2023

  1. media queries

    domel committed May 8, 2023
    Configuration menu
    Copy the full SHA
    a5e83fb View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. media queries

    domel committed May 15, 2023
    Configuration menu
    Copy the full SHA
    52ddda4 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. media queries pt2

    domel committed May 16, 2023
    Configuration menu
    Copy the full SHA
    55c7f25 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Remove trailing quote in "A list of the RDF-compatible XSD types, wit…

    …h short descriptions".
    gkellogg committed May 17, 2023
    Configuration menu
    Copy the full SHA
    fa9be9d View commit details
    Browse the repository at this point in the history

Commits on May 18, 2023

  1. Configuration menu
    Copy the full SHA
    94f9d8a View commit details
    Browse the repository at this point in the history