diff doc/html_extra/spec.html @ 7462:575002bb3f8a

Convert .note style to .news style on main page .note style's comment says it's for a news banner. So change .note to .news so it doesn't interfere with .. note:: directives used on the main page. AFAICT, this style isn't actually used anywhere.
author John Rouillard <rouilj@ieee.org>
date Wed, 07 Jun 2023 22:45:49 -0400
parents 7083d4bd89d6
children a03f8f681992
line wrap: on
line diff

Roundup Issue Tracker: http://roundup-tracker.org/