diff --git a/scribble-doc/scribblings/scribble/core.scrbl b/scribble-doc/scribblings/scribble/core.scrbl index ba512a4e..95b05936 100644 --- a/scribble-doc/scribblings/scribble/core.scrbl +++ b/scribble-doc/scribblings/scribble/core.scrbl @@ -599,10 +599,6 @@ The currently recognized @tech{style properties} are as follows: @item{@racket[attributes] structure --- Provides additional HTML attributes for the @tt{

}, @tt{

}, or alternate tag.} - @item{@racket[body-id] structure --- For HTML, uses the given string - as an @tt{id} attribute of the @tt{

}, @tt{

}, or - alternate tag.} - @item{@indexed-racket['never-indents] --- For Latex and @tech{compound paragraphs}; see @racket[compound-paragraph].} @@ -658,9 +654,6 @@ The following @tech{style properties} are currently recognized: @item{@racket[attributes] structure --- Provides additional HTML attributes for the @tt{} tag.} - @item{@racket[body-id] structure --- For HTML, uses the given string - as an @tt{id} attribute of the @tt{
} tag.} - @item{@indexed-racket['aux] --- For HTML, include the table in the table-of-contents display for the enclosing part.} @@ -707,9 +700,6 @@ The following @tech{style properties} are currently recognized: @item{@racket[attributes] structure --- Provides additional HTML attributes for the @tt{