Using
#lang scribble/base
produces HTML output in the old style, while
#lang scribble/manual
uses the new style.
To get the new style without switching to `#lang scribble/manual`,
use `manual-doc-style`.
Related changes include the addition of `css-style-addition` and
`js-style-addition`.
original commit: b520b66c4e8e54909c7d7b1126044e984989e8ef
This change fixes using `color-property` and `background-color-property`
at the same time, for example.
original commit: d2e1396b136ecb4917233106ba805823207c6592
