From 0faf4737d5a5f49ec34fa39469ad739abde29924 Mon Sep 17 00:00:00 2001 From: Hugo Thunnissen Date: Fri, 7 Feb 2020 20:53:08 +0100 Subject: [PATCH] Remove attempt at good high-DPI font size as it is futile :( --- blog.html | 6 ------ generate-blog.bash | 6 ------ index.html | 6 ------ posts/introduction/index.html | 6 ------ 4 files changed, 24 deletions(-) diff --git a/blog.html b/blog.html index a45f05e..4bd4229 100644 --- a/blog.html +++ b/blog.html @@ -29,12 +29,6 @@ max-width: 50em; } } - - @media only all and (pointer: fine) and (min-width: 2000px) { - body { - font-size: 40px; - } - } diff --git a/generate-blog.bash b/generate-blog.bash index 2cd30a3..fb747aa 100755 --- a/generate-blog.bash +++ b/generate-blog.bash @@ -65,12 +65,6 @@ blog_html="$here/blog.html" max-width: 50em; } } - - @media only all and (pointer: fine) and (min-width: 2000px) { - body { - font-size: 40px; - } - } diff --git a/index.html b/index.html index f54c50c..35fa454 100644 --- a/index.html +++ b/index.html @@ -30,12 +30,6 @@ max-width: 50em; } } - - @media only all and (pointer: fine) and (min-width: 2000px) { - body { - font-size: 40px; - } - } diff --git a/posts/introduction/index.html b/posts/introduction/index.html index 1755329..34f8d33 100644 --- a/posts/introduction/index.html +++ b/posts/introduction/index.html @@ -30,12 +30,6 @@ max-width: 50em; } } - - @media only all and (pointer: fine) and (min-width: 2000px) { - body { - font-size: 40px; - } - }