scriblib/footnote: add style for numbers in footnotes and references

Author: mflatt

scribble-doc/scriblib/scribblings/footnote.scrbl

@@ -81,11 +81,23 @@ redefined as CSS classes or Latex macros to adjust the result:
  note. For Latex, this name is mapped to a macro that returns nothing,
  leaving the reference managment to @tt{\footnote}.}
 
+ @item{@racket["FootnoteRefNumber"]: Wrapped around the footnote
+ number as a reference (inside of @racket["FootnoteRef"]), so that the
+ default superscript style for a footnote reference can be changed for
+ HTML output (or potentially for Latex, if @racket["Footnote"] is not
+ mapped to @tt{\footnote}).}
+
  @item{@racket["FootnoteTarget"]: Wrapped around the footnote that is
  rendered by @racket[footnote-part-id] or as a margin note. For Latex,
  this name is mapped to a macro that returns nothing, leaving the
  reference managment to @tt{\footnote}.}
 
+ @item{@racket["FootnoteTargetNumber"]: Wrapped around the footnote
+ number rendered by @racket[footnote-part-id] or as a margin note, so
+ that the default superscript style within a footnote can be changed
+ for HTML (or potentially for Latex, if @racket["Footnote"] is not
+ mapped to @tt{\footnote}).}
+
  @item{@racket["FootnoteContent"]: For Latex, wrapped around the
  content of a footnote as rendered by @racket[footnote-part-id].}
 

scribble-lib/scriblib/footnote.css

@@ -26,3 +26,8 @@
   padding-left: 1em;
   text-indent: -0.5em;
 }
+
+.FootnoteRefNumber, .FootnoteTargetNumber {
+  vertical-align: super;
+  font-size: .83em;
+}

scribble-lib/scriblib/footnote.rkt

@@ -33,9 +33,11 @@
 
 (define footnote-style (make-style "Footnote" footnote-style-extras))
 (define footnote-ref-style (make-style "FootnoteRef" footnote-style-extras))
+(define footnote-ref-number-style (make-style "FootnoteRefNumber" footnote-style-extras))
 (define footnote-content-style (make-style "FootnoteContent" footnote-style-extras))
 (define footnote-margin-content-style (make-style "FootnoteMarginContent" footnote-style-extras))
 (define footnote-target-style (make-style "FootnoteTarget" footnote-style-extras))
+(define footnote-target-number-style (make-style "FootnoteTargetNumber" footnote-style-extras))
 (define footnote-block-style (make-style "FootnoteBlock" footnote-style-extras))
 (define footnote-block-content-style (make-style "FootnoteBlockContent" footnote-style-extras))
 
@@ -65,7 +67,7 @@
   (define tag (generated-tag))
   (define content (decode-content text))
   (define target (cons (make-element footnote-target-style
-                                     (make-element 'superscript
+                                     (make-element footnote-target-number-style
                                                    (counter-target footnotes tag #f
                                                                    #:use-ref? #t)))
                        content))
@@ -75,13 +77,14 @@
        (set id (cons target (get id null))))
      (make-element footnote-style
                    (list (make-element footnote-ref-style
-                                       (make-element 'superscript (counter-ref footnotes tag #f
-                                                                               #:use-target? #t)))
+                                       (make-element footnote-ref-number-style
+                                                     (counter-ref footnotes tag #f
+                                                                  #:use-target? #t)))
                          (if margin?
                              (make-element footnote-margin-content-style target)
                              (cond-element
                               [latex
-                               (make-element footnote-content-style content)]
+                               (make-element footnote-content-style target)]
                               [else
                                null])))))))
 

scribble-lib/scriblib/footnote.tex

@@ -4,7 +4,9 @@
 
 \newcommand{\Footnote}[1]{\footnote{#1}}
 \newcommand{\FootnoteRef}[1]{}
+\newcommand{\FootnoteRefNumber}[1]{#1}
 \newcommand{\FootnoteTarget}[1]{}
+\newcommand{\FootnoteTargetNumber}[1]{#1}
 \newcommand{\FootnoteContent}[1]{#1}
 \newcommand{\FootnoteMarginContent}[1]{#1}