From 7a54b1d36a5936a6f59d02fa173aa5e421756372 Mon Sep 17 00:00:00 2001
From: Omar Roth <omarroth@hotmail.com>
Date: Tue, 19 Mar 2019 20:10:12 -0500
Subject: [PATCH] Fix player size with JS disabled

---
 assets/css/default.css | 22 +++++-----------------
 1 file changed, 5 insertions(+), 17 deletions(-)

diff --git a/assets/css/default.css b/assets/css/default.css
index bd39a0e3..001b70e1 100644
--- a/assets/css/default.css
+++ b/assets/css/default.css
@@ -322,29 +322,17 @@ img.thumbnail {
   padding-top: 82vh;
 }
 
+video.video-js {
+  position: absolute;
+  height: 100%;
+}
+
 #player-container {
   position: relative;
   padding-bottom: 82vh;
   height: 0;
 }
 
-#progress-container {
-  width: 100%;
-  border-radius: 2px;
-  background-color: #a0a0a0;
-  color: rgba(35, 35, 35, 1);
-}
-
-#download-progress {
-  width: 0%;
-  border-radius: 2px;
-  height: 10px;
-  background-color: rgba(0, 182, 240, 1);
-  color: #fff;
-  margin-top: 0.5em;
-  margin-bottom: 0.5em;
-}
-
 .pure-control-group label {
   word-wrap: normal;
 }