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

Bump Sphinx and theme #576

Merged
merged 3 commits into from Jun 1, 2023
Merged

Bump Sphinx and theme #576

merged 3 commits into from Jun 1, 2023

Conversation

asymmetric
Copy link
Contributor

@asymmetric asymmetric commented May 29, 2023

GOAL

Ensure our footer sticks to the bottom of the page, among other visual improvements.

YAKS SHAVED

Requires bumping nixpkgs, poetry2nix and associated overrides.

NOTES

Marking this as draft until 23.05 is officially out.

@asymmetric asymmetric added site Improvements to the site infrastructure or content presentation dependencies labels May 29, 2023
Requires bumping nixpkgs, poetry2nix and associated overrides.

This is all so that our footer can stick to the bottom of the page.
Newer Sphinx doesn't accept None, so leaving default of 'en'.
@cloudflare-pages
Copy link

cloudflare-pages bot commented May 29, 2023

Deploying with  Cloudflare Pages  Cloudflare Pages

Latest commit: 2af240a
Status: ✅  Deploy successful!
Preview URL: https://8267820f.nix-dot-dev.pages.dev
Branch Preview URL: https://bump-deps.nix-dot-dev.pages.dev

View logs

@asymmetric asymmetric marked this pull request as ready for review June 1, 2023 08:49
@asymmetric asymmetric merged commit bfd57a6 into master Jun 1, 2023
3 checks passed
@asymmetric asymmetric deleted the bump-deps branch June 1, 2023 08:53
@fricklerhandwerk
Copy link
Collaborator

fricklerhandwerk commented Jun 7, 2023

@yukiisbored @asymmetric This seems to have broken the custom code block highlighting that I really liked.
Before:
Screenshot 2023-06-08 at 01 13 02
After:
Screenshot 2023-06-08 at 01 11 42

@asymmetric
Copy link
Contributor Author

Ah good catch, I’ll look into it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
site Improvements to the site infrastructure or content presentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants