Removing some now-not-needed headers that were previously used for slides

Author: bbrydsoe

docs/teamwork.md

@@ -227,8 +227,6 @@ digraph {
 
 ---
 
-<!-- .slide: style="font-size: 30px;" -->
-
 ## Pull from remote repo, new file
 
 Let us do an example where there is a new file on the remote repository: 
@@ -251,8 +249,6 @@ Fast-forward
 
 ---
 
-<!-- .slide: style="font-size: 26px;" -->
-
 ## Example: creating a new branch, pushing changes
 
 Here we create a new branch on a remote repository and add a file to it, then push: 
@@ -285,10 +281,6 @@ no changes added to commit (use "git add" and/or "git commit -a")
 
 ---
 
-<!-- .slide: style="font-size: 30px;" -->
-
-## Example continued
-
 ```shell
 bbrydsoe@enterprise-a:~/mytestrepo$ git log --graph --oneline --decorate --all
 * accef46 (HEAD -> mynewbranch, main) Updating the file funny.txt
@@ -317,11 +309,6 @@ Note: when you do this it should be coloured for easier readability
 
 ---
 
-<!-- .slide: style="font-size: 30px;" -->
-
-## Example continued 
-
-
 I stage and commit the file. 
 
 ```shell
@@ -344,10 +331,6 @@ bbrydsoe@enterprise-a:~/mytestrepo$
 
 ---
 
-<!-- .slide: style="font-size: 30px;" -->
-
-## Example continued
-
 Let us again check with `git status` and `git log ...`
 
 ```shell
@@ -384,10 +367,6 @@ bbrydsoe@enterprise-a:~/mytestrepo$
 
 ---
 
-<!-- .slide: style="font-size: 28px;" -->
-
-## Example continued 
-
 Push your changes with `git push origin -u yourbranchname` (or with `git push -u origin HEAD`)
 
 ```shell
@@ -423,8 +402,6 @@ bbrydsoe@enterprise-a:~/mytestrepo$
 
 ---
 
-<!-- .slide: style="font-size: 30px;" -->
-
 ## Example: Merging branches
 
 We will merge the branches from the command line. Let us first see which branches exist in my repo - in this case I will check for both local and remote branches