f3e3cbd45f
* Remove Raspberry pi Docker file * Remove old show-source/solution and plan button * Remove commented out code * Improve navigation * Remove underline from navigation and remove margin of left navigation button * Make arrow a bit smaller so it aligns a bit better with the navigation bar itself