search

ros-infrastructure / rosindex

The source code for generating index.ros.org
https://index.ros.org
GNU General Public License v3.0
13 stars 24 forks source link

Restore inadvertently removed prettify.css, rename to current usage #430

Closed rkent closed 2 months ago

rkent commented 2 months ago

This restores prettify.css that was inadvertently removed in an earlier PR, and renames it to properly reflect its usage. It has nothing to do with prettify.

prettify.js was also removed earlier, but I could find no use for that. It has also been discontinued by the owner (Google).