diff --git a/dev/404.html b/dev/404.html index 5daf9ba4d..c1364061b 100644 --- a/dev/404.html +++ b/dev/404.html @@ -1315,11 +1315,11 @@
  • - + - Formatting + Style diff --git a/dev/developer/auto-generation/index.html b/dev/developer/auto-generation/index.html index 8bf760ab7..d2334935b 100644 --- a/dev/developer/auto-generation/index.html +++ b/dev/developer/auto-generation/index.html @@ -14,6 +14,8 @@ + + @@ -1446,11 +1448,11 @@
  • - + - Formatting + Style diff --git a/dev/developer/style/index.html b/dev/developer/style/index.html index f0630fcb7..2658319e8 100644 --- a/dev/developer/style/index.html +++ b/dev/developer/style/index.html @@ -11,6 +11,8 @@ + + @@ -237,10 +239,12 @@ + + -
  • +
  • @@ -1266,6 +1270,8 @@ + + @@ -1281,12 +1287,12 @@ -
  • +
  • - + -