From cfd45e0b60a631b277be37b6004d17ca87894dee Mon Sep 17 00:00:00 2001
From: ebner <simon.ebner@psi.ch>
Date: Wed, 10 May 2023 10:46:02 +0200
Subject: [PATCH] add controls to control the video

---
 admin-guide/puppet/development.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin-guide/puppet/development.md b/admin-guide/puppet/development.md
index d99c752e..670a254d 100644
--- a/admin-guide/puppet/development.md
+++ b/admin-guide/puppet/development.md
@@ -19,7 +19,7 @@ puppet agent -t --environment=issue_x
 Continue the commit / push / test cycle until your changes are working. Afterwards create a merge request for the branch to the __preprod__ branch.
 
 
-<video src="../../_static/videos/dev_environments.m4v">video</video>
+<video controls width="100%" src="../../_static/videos/dev_environments.m4v">video</video>
 
 ## Development Environment Names