diff --git a/doc/assets/numbers.html b/doc/assets/numbers.html index 01362eb9d..29ba34c89 100644 --- a/doc/assets/numbers.html +++ b/doc/assets/numbers.html @@ -28,10 +28,12 @@