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.

Sign up for GitHub

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

Jump to bottom

Download and edit buttons in detail page #1817

Merged
merged 6 commits into from
May 20, 2024
Merged

Download and edit buttons in detail page #1817

merged 6 commits into from
May 20, 2024

Commits on May 14, 2024

  1. move main Download to a button to make it more obvious

    @longhotsummer
    longhotsummer committed May 14, 2024
    Configuration menu
    Copy the full SHA
    17663b7 View commit details
    Browse the repository at this point in the history

  2. to-the-top button not flush with bottom of page (hard to tap on mobile)

    @longhotsummer
    longhotsummer committed May 14, 2024
    Configuration menu
    Copy the full SHA
    ede5296 View commit details
    Browse the repository at this point in the history

  3. don't show jurisdiction unnecessarily

    @longhotsummer
    longhotsummer committed May 14, 2024
    Configuration menu
    Copy the full SHA
    f86a78d View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Merge branch 'main' into buttons

    @longhotsummer
    longhotsummer committed May 15, 2024
    Configuration menu
    Copy the full SHA
    140b7cb View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. sort citations by size of group descending

    @longhotsummer
    longhotsummer committed May 16, 2024
    Configuration menu
    Copy the full SHA
    22494c6 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. move document toolbar above tabs

    @longhotsummer
    longhotsummer committed May 17, 2024
    Configuration menu
    Copy the full SHA
    e42af0e View commit details
    Browse the repository at this point in the history