From 323941bfd88cd0df6e02ad215e0bec25e98c0431 Mon Sep 17 00:00:00 2001 From: Simon Lydell Date: Wed, 13 Sep 2017 20:58:33 +0200 Subject: [PATCH] Clean up playground CSS and design - Move the version to the header. Saves some vertical space. - Use system font. - Simplify CSS. - Better header alignment. --- website/pages/playground/index.html | 131 +++++++++++----------------- 1 file changed, 51 insertions(+), 80 deletions(-) diff --git a/website/pages/playground/index.html b/website/pages/playground/index.html index 6f8aa834a..1834486ff 100644 --- a/website/pages/playground/index.html +++ b/website/pages/playground/index.html @@ -1,5 +1,5 @@ - + @@ -11,8 +11,8 @@ - - + + @@ -37,83 +37,66 @@