titles for background

(differ from filenmae, gadgets are ok)

content/docs/background/kzg.md

@@ -1,5 +1,5 @@
 ---
-title: Plonkbook | PCS
+title: PCS
 type: docs
 ---
 

content/docs/background/overview.md

@@ -1,3 +1,8 @@
+---
+title: Overview
+type: docs
+---
+
 # Overview
 
 ## Preliminaries

content/docs/background/poly-iop.md

@@ -1,3 +1,8 @@
+---
+title: Polynomials
+type: docs
+---
+
 # Encoding Arrays of Data into Polynomials
 
 In the Poly-IOP model, data starts as an array (or vector) of integers and gadgets are defined in terms of operations on arrays. In the proof stage, the arrays are encoded into a polynomial. Array slots contain integers between 0 and $q-1$, where $q$ is a large (generally 256 bit) prime number. Recall that we call this set of integers $\mathbb{Z}_q$.

content/docs/background/proofs.md

@@ -1,3 +1,8 @@
+---
+title: Proofs
+type: docs
+---
+
 # Security Proofs
 
 To be added.

content/docs/background/red-tape.md

@@ -1,3 +1,8 @@
+---
+title: Red Tape
+type: docs
+---
+
 # Red Tape
 
 Generally speaking, the gadgets are quite flexible and work well as defined. However there are some subtle issues to pay attention to when using them.