Remove font-smoothing (#1094)

* Remove font-smoothing

This is a non standard css feature and is not supported on many platforms. And has been removed from the css standard specification.
It is advized to not use it according to MDN along with many other guides on the internet.

* rebuild theme.css and badge_only.css for readthedocs/sphinx_rtd_theme#1094

Co-authored-by: Benjamin Bach <[email protected]>

Author: Blendify

sphinx_rtd_theme/static/css/badge_only.css

@@ -9,7 +9,6 @@
   font-weight: normal
   line-height: 1
   text-decoration: inherit
-  +font-smooth
 
 a .fa
   display: inline-block

sphinx_rtd_theme/static/css/theme.css

@@ -85,7 +85,6 @@ html
     background: $menu-vertical-background-color
     border: none
     padding-left: $gutter -4px
-    +font-smooth
     &:hover
       background: $menu-vertical-background-color
       button.toctree-expand
@@ -218,7 +217,6 @@ html
     padding: ($base-line-height / 6) ($base-line-height / 4)
     margin-bottom: $gutter / 2
     max-width: 100%
-    +font-smooth
     &:hover
       background: rgba(255, 255, 255, 0.1)
     img.logo
@@ -308,7 +306,6 @@ html
   a
     color: $white
     font-weight: bold
-    +font-smooth
   img
     margin-right: $base-line-height / 2
     height: 45px