Switch to GitHub Pages

less than 1 minute read

User documentation for PORTAL has been switched from a standard GitHub repository to using GitHub Pages using Minimal Mistakes theme.