Merge pull request #14747 from dotty-staging/scaladoc/css-adjustments

Fix in syntax.md. CSS adjustments

Author: pikinier20

docs/_docs/internals/syntax-3.1.md

@@ -46,14 +46,14 @@ are offered under settings `-source 3.1-migration -rewrite`.
 
 ### Syntax
 
-```
-Import            ::=  ‘import’ ImportExpr {‘,’ ImportExpr}
-ImportExpr        ::=  SimpleRef {‘.’ id} ‘.’ ImportSpec
+```ebnf
+Import            ::=  ‘import’ ImportExpr {‘,’ ImportExpr} ;
+ImportExpr        ::=  SimpleRef {‘.’ id} ‘.’ ImportSpec ;
 ImportSpec        ::=  NamedSelector
                     |  WildcardSelector
-                    | ‘{’ ImportSelectors) ‘}’
-NamedSelector     ::=  id [‘as’ (id | ‘_’)]
-WildCardSelector  ::=  ‘*' | ‘given’ [InfixType]
+                    | ‘{’ ImportSelectors) ‘}’ ;
+NamedSelector     ::=  id [‘as’ (id | ‘_’)] ;
+WildCardSelector  ::=  ‘*' | ‘given’ [InfixType] ;
 ImportSelectors   ::=  NamedSelector [‘,’ ImportSelectors]
-                    |  WildCardSelector {‘,’ WildCardSelector}
+                    |  WildCardSelector {‘,’ WildCardSelector} ;
 ```

docs/_docs/internals/syntax.md

@@ -47,10 +47,10 @@ The syntactical precedence of match expressions has been changed.
 
 The new syntax of match expressions is as follows.
 
-```
+```ebnf
 InfixExpr    ::=  ...
-               |  InfixExpr MatchClause
+               |  InfixExpr MatchClause ;
 SimpleExpr   ::=  ...
-               |  SimpleExpr ‘.’ MatchClause
-MatchClause  ::=  ‘match’ ‘{’ CaseClauses ‘}’
+               |  SimpleExpr ‘.’ MatchClause ;
+MatchClause  ::=  ‘match’ ‘{’ CaseClauses ‘}’ ;
 ```

docs/_docs/reference/changed-features/imports.md

@@ -50,8 +50,8 @@ for case (x, y) <- elems yield (y, x)  // returns List((2, 1), (4, 3))
 ## Syntax Changes
 
 Generators in for expressions may be prefixed with `case`.
-```
-Generator      ::=  [‘case’] Pattern1 ‘<-’ Expr
+```ebnf
+Generator      ::=  [‘case’] Pattern1 ‘<-’ Expr ;
 ```
 
 ## Migration

docs/_docs/reference/changed-features/match-syntax.md

@@ -6,11 +6,11 @@ movedTo: https://docs.scala-lang.org/scala3/reference/changed-features/structura
 
 ## Syntax
 
-```
-SimpleType    ::= ... | Refinement
-Refinement    ::= ‘{’ RefineStatSeq ‘}’
-RefineStatSeq ::=  RefineStat {semi RefineStat}
-RefineStat    ::= ‘val’ VarDcl | ‘def’ DefDcl | ‘type’ {nl} TypeDcl
+```ebnf
+SimpleType    ::= ... | Refinement ;
+Refinement    ::= ‘{’ RefineStatSeq ‘}’ ;
+RefineStatSeq ::=  RefineStat {semi RefineStat} ;
+RefineStat    ::= ‘val’ VarDcl | ‘def’ DefDcl | ‘type’ {nl} TypeDcl ;
 ```
 
 ## Implementation of Structural Types

docs/_docs/reference/changed-features/pattern-bindings.md

@@ -24,12 +24,12 @@ The old syntax for splice arguments will be phased out.
 
 ## Syntax
 
-```
+```ebnf
 ArgumentPatterns  ::=  ‘(’ [Patterns] ‘)’
-                    |  ‘(’ [Patterns ‘,’] Pattern2 ‘*’ ‘)’
+                    |  ‘(’ [Patterns ‘,’] Pattern2 ‘*’ ‘)’ ;
 
 ParArgumentExprs  ::=  ‘(’ [‘using’] ExprsInParens ‘)’
-                    |  ‘(’ [ExprsInParens ‘,’] PostfixExpr ‘*’ ‘)’
+                    |  ‘(’ [ExprsInParens ‘,’] PostfixExpr ‘*’ ‘)’ ;
 ```
 
 ## Compatibility considerations

docs/_docs/reference/changed-features/structural-types-spec.md

@@ -40,7 +40,7 @@ done automatically under `-rewrite`.
 
 ## Syntax
 
-```
-TypeParamBounds   ::=  [SubtypeBounds] {ContextBound}
-ContextBound      ::=  ‘:’ Type
+```ebnf
+TypeParamBounds   ::=  [SubtypeBounds] {ContextBound} ;
+ContextBound      ::=  ‘:’ Type ;
 ```

docs/_docs/reference/changed-features/vararg-splices.md

@@ -6,11 +6,11 @@ movedTo: https://docs.scala-lang.org/scala3/reference/contextual/context-functio
 
 ## Syntax
 
-```
+```ebnf
 Type              ::=  ...
-                    |  FunArgTypes ‘?=>’ Type
+                    |  FunArgTypes ‘?=>’ Type ;
 Expr              ::=  ...
-                    |  FunParams ‘?=>’ Expr
+                    |  FunParams ‘?=>’ Expr ;
 ```
 
 Context function types associate to the right, e.g.

docs/_docs/reference/contextual/context-bounds.md

@@ -354,12 +354,12 @@ hand side of this definition in the same way as an instance defined in ADT compa
 
 ### Syntax
 
-```
-Template          ::=  InheritClauses [TemplateBody]
-EnumDef           ::=  id ClassConstr InheritClauses EnumBody
-InheritClauses    ::=  [‘extends’ ConstrApps] [‘derives’ QualId {‘,’ QualId}]
+```ebnf
+Template          ::=  InheritClauses [TemplateBody] ;
+EnumDef           ::=  id ClassConstr InheritClauses EnumBody ;
+InheritClauses    ::=  [‘extends’ ConstrApps] [‘derives’ QualId {‘,’ QualId}] ;
 ConstrApps        ::=  ConstrApp {‘with’ ConstrApp}
-                    |  ConstrApp {‘,’ ConstrApp}
+                    |  ConstrApp {‘,’ ConstrApp} ;
 ```
 
 **Note:** To align `extends` clauses and `derives` clauses, Scala 3 also allows multiple