From 18c7d455c53bb620a72c249710c11fff2d453ed9 Mon Sep 17 00:00:00 2001 From: Pavel Novikov Date: Mon, 22 May 2023 01:50:53 +0300 Subject: [PATCH 1/3] Update jekyll-theme-slate.scss Make usage of in headers *not* ugly on small device screens --- _sass/jekyll-theme-slate.scss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_sass/jekyll-theme-slate.scss b/_sass/jekyll-theme-slate.scss index b721960e0..bbe7e12c2 100644 --- a/_sass/jekyll-theme-slate.scss +++ b/_sass/jekyll-theme-slate.scss @@ -432,7 +432,7 @@ Small Device Styles } code, pre { - font-size: 11px; + font-size: 0.7857em; } } @@ -482,7 +482,7 @@ Small Device Styles code, pre { min-width: 240px; max-width: 320px; - font-size: 11px; + font-size: 0.7857em; } } From 61b7a148b8593b730ef761e029aaada3bd872985 Mon Sep 17 00:00:00 2001 From: Pavel Novikov Date: Wed, 15 Nov 2023 23:04:47 +0000 Subject: [PATCH 2/3] trigger check --- _sass/jekyll-theme-slate.scss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_sass/jekyll-theme-slate.scss b/_sass/jekyll-theme-slate.scss index bbe7e12c2..03d586e42 100644 --- a/_sass/jekyll-theme-slate.scss +++ b/_sass/jekyll-theme-slate.scss @@ -432,7 +432,7 @@ Small Device Styles } code, pre { - font-size: 0.7857em; + font-size: 0.78571em; } } @@ -482,7 +482,7 @@ Small Device Styles code, pre { min-width: 240px; max-width: 320px; - font-size: 0.7857em; + font-size: 0.78571em; } } From e782b1f22ad9d627103a36133972d90663163600 Mon Sep 17 00:00:00 2001 From: Pavel Novikov Date: Wed, 15 Nov 2023 23:05:03 +0000 Subject: [PATCH 3/3] revert trigger check --- _sass/jekyll-theme-slate.scss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_sass/jekyll-theme-slate.scss b/_sass/jekyll-theme-slate.scss index 03d586e42..bbe7e12c2 100644 --- a/_sass/jekyll-theme-slate.scss +++ b/_sass/jekyll-theme-slate.scss @@ -432,7 +432,7 @@ Small Device Styles } code, pre { - font-size: 0.78571em; + font-size: 0.7857em; } } @@ -482,7 +482,7 @@ Small Device Styles code, pre { min-width: 240px; max-width: 320px; - font-size: 0.78571em; + font-size: 0.7857em; } }