From 9fc8e3dc54d12b85c4b9d36d4e44cd06b55e3dbe Mon Sep 17 00:00:00 2001
From: Max Lehmann <maxlehmann@xpub.nl>
Date: Mon, 8 Jun 2020 16:26:25 +0200
Subject: [PATCH] Update '12/style.css'

---
 12/style.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/12/style.css b/12/style.css
index 7916122..08c9332 100644
--- a/12/style.css
+++ b/12/style.css
@@ -420,7 +420,7 @@ a:hover{
 #etherpad.hidden {
   display: block;
   width: 30vw;
-  height: 10vh;
+  height: 20%;
   font-family: Roboto Mono;
   color: white;
   background-color: black;
@@ -477,6 +477,7 @@ a:hover{
  width: 100%;
  height: 100%;
   }
+
 #week_05{
   margin-left: 3vw;
   padding: 3vw;