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

Sanitize, optimize, and a few bugfixes #19

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Conversation

Pwuts
Copy link

@Pwuts Pwuts commented Oct 6, 2019

The commit messages sum it up:

  • sanitized main.css by removing all CSS shared/duplicated between Bootstrap and Bootstrap Grid
  • removed random trailing whitespace from many files
  • fixed and updated theme.js syntax
  • updated and minified Lunr js file
  • updated Bootstrap and JQuery js libraries
  • removed local bootstrap.js file
  • fixed author page links (broken in current release version)
  • added GitHub+GitLab link support to author profiles
  • added rel="noopener" to external links because good practice
  • moved contact.md -> contact.html as it contains html and not markdown
  • fixed crammed 404 page layout
  • fixed excludes in _config.yml
  • added a robots.txt file which includes the host instead of just /sitemap.xml

updated and minified Lunr;
updated Bootstrap and JQuery js libraries;
fixed author page links (broken in current release version);
added GitHub+GitLab link support to author profiles;
added rel="noopener" to external links because good practice;
moved contact.md -> contact.html as it contains html and not markdown;
fixed crammed 404 page layout;
fixed excludes in _config.yml;
added a robots.txt file which includes the host instead of just "/sitemap.xml";
was a personal change, and not supposed to be pushed back upstream. :)
@Pwuts
Copy link
Author

Pwuts commented Apr 22, 2020

Is anything ever going to happen with this PR? I put quite some effort into making it neat and publishable :/

@aschrijver
Copy link

It is a real pity that this work was never considered, not even honored with a comment.

@Pwuts
Copy link
Author

Pwuts commented Oct 26, 2022

Bump; please check out this PR :)

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

Successfully merging this pull request may close these issues.

2 participants