Add titles

Author: odersky

docs/docs/reference/adts.md

@@ -1,4 +1,8 @@
-# Algebraic Data Types
+---
+layout: doc-page
+title: "Algebraic Data Types"
+---
+
 
 The `enum` concept is general enough to also support algebraic data
 types (ADTs) and their generalized version (GADTs). Here's an example

docs/docs/reference/desugarEnums.md

@@ -1,4 +1,7 @@
-# Translation of Enums and ADTs
+---
+layout: doc-page
+title: "Translation of Enums and ADTs"
+---
 
 The compiler expands enum classes and cases to code that only uses
 Scala's other language features. As such, enums in Scala are

docs/docs/reference/enums.md

@@ -1,4 +1,7 @@
-# Enumerations
+---
+layout: doc-page
+title: "Enumerations"
+---
 
 An enumeration is used to define a type consisting of a set of named values.
 

docs/docs/reference/implicit-by-name-parameters.md

@@ -1,4 +1,7 @@
-# Implicit By-Name Parameters
+---
+layout: doc-page
+title: "Implicit By-Name Parameters"
+---
 
 Call-by-name implicit parameters can be used to avoid a divergent implicit expansion.
 

docs/docs/reference/trait-parameters.md

@@ -1,4 +1,7 @@
-# Trait Parameters
+---
+layout: doc-page
+title: "Trait Parameters"
+---
 
 Dotty allows traits to have parameters, just like classes have parameters.