DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: Update website with Curated notes

Browse source
This commit is contained in:
jstoobysmith 2025-02-27 11:07:23 +00:00
parent 4c9e2053ee
commit 670859a2b2
4 changed files with 81 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/Template.lean
View file

@ -60,8 +60,8 @@ def baseHtmlGenerator (title : String) (site : Array Html) : BaseHtmlM Html := d
<header style="background-color: #2C3E50; color: #fff;">
<h1><label for="nav_toggle"></label><span>
<a href="https://heplean.github.io/HepLean/" style="color: #fff; text-decoration: none; font-family: serif">
HepLean Documentation</a>
<a href="heplean.com" style="color: #fff; text-decoration: none; font-family: serif">
PhysLean Documentation</a>
</span></h1>
<h2 style="color: #fff; font-family: serif">[breakWithin title]</h2>
<form action="https://google.com/search" method="get" id="search_form">