search

RussTedrake / underactuated

The course text for MIT 6.832 (and 6.832x on edX)
Other
753 stars 215 forks source link

Extra characters in search box #563

Closed pwintz closed 4 months ago

pwintz commented 4 months ago

On index.html, the search box renders some extra characters: image