<commit_before>From: <NAME> <<EMAIL>>
Date: Sat, 26 May 2018 16:57:16 +0200
Subject: Use font-awesome 5 shim

Specific to Debian: fonts-font-awesome package upgraded to version 5 in sid.

Forwarded: not-needed
Author: <NAME> <<EMAIL>>
---
 .../static/css/badge_only.css                      |   40 -
 .../sphinx_rtd_theme_violet/static/css/theme.css   | 2047 +-------------------
 2 files changed, 4 insertions(+), 2083 deletions(-)

diff --git a/docs/_themes/sphinx_rtd_theme_violet/static/css/badge_only.css b/docs/_themes/sphinx_rtd_theme_violet/static/css/badge_only.css
index 8cec763..e65f940 100644
--- a/docs/_themes/sphinx_rtd_theme_violet/static/css/badge_only.css
+++ b/docs/_themes/sphinx_rtd_theme_violet/static/css/badge_only.css
@@ -1,7 +1,3 @@
-.fa:before {
-  -webkit-font-smoothing: antialiased;
-}
-
 .clearfix {
   *zoom: 1;
 }
@@ -13,22 +9,6 @@
   clear: both;
 }
 
-@font-face {
-  font-family: FontAwesome;
-  font-weight: normal;
-  font-style: normal;
-  src: url("../font/fontawesome_webfont.eot");
-  src: url("../font/fontawesome_webfont.eot?#iefix") format("embedded-opentype"), url("../font/fontawesome_webfont.woff") format("woff"), url("../font/fontawesome_webfont.ttf") format("truetype"), url("../font/fontawesome_webfont.svg#FontAwesome") format("svg");
-}
-.fa:before {
-  display: inline-block;
-  font-family: FontAwesome;
-  font-style: normal;
-  font-weight: normal;
-  line-height: 1;
-  text-decoration: inherit;
-}
-
 a .fa {
   display: inline-block;
   text-decoration: inherit;
@@ -57,42 +37,22 @@ ul.fas li .fa-large:before {
   vertical-align: baseline;
 }
 
-.fa-book:before {
-  content: "\f02d";
-}
-
 .icon-book:before {
   content: "\f02d";
 }
 
-.fa-caret-down:before {
-  content: "\f0d7";
-}
-
 .icon-caret-down:before {
   content: "\f0d7";
 }
 
-.fa-caret-up:before {
-  content: "\f0d8";
-}
-
 .icon-caret-up:before {
   content: "\f0d8";
 }
 
-.fa-caret-left:before {
-  content: "\f0d9";
-}
-
 .icon-caret-left:before {
   content: "\f0d9";
 }
 
-.fa-caret-right:before {
-  content: "\f0da";
-}
-
 .icon-caret-right:before {
   content: "\f0da";
 }
diff --git a/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css b/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css
index 88e1a1a..53a6798 100644
--- a/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css
+++ b/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css
@@ -1,3 +1,5 @@
+@import "./font-awesome.css";
+
 * {
   -webkit-box-sizing: border-box;
   -moz-box-sizing: border-box;
@@ -327,7 +329,7 @@ big, small {
     page-break-after: avoid;
   }
 }
-.fa:before, .rst-content .admonition-title:before, .rst-content h1 .headerlink:before, .rst-content h2 .headerlink:before, .rst-content h3 .headerlink:before, .rst-content h4 .headerlink:before, .rst-content h5 .headerlink:before, .rst-content h6 .headerlink:before, .rst-content dl dt .headerlink:before, .icon:before, .wy-dropdown .caret:before, .wy-inline-validate.wy-inline-validate-success .wy-input-context:before, .wy-inline-validate.wy-inline-validate-danger .wy-input-context:before, .wy-inline-validate.wy-inline-validate-warning .wy-input-context:before, .wy-inline-validate.wy-inline-validate-info .wy-input-context:before, .wy-alert, .rst-content .note, .rst-content .attention, .rst-content .caution, .rst-content .danger, .rst-content .error, .rst-content .hint, .rst-content .important, .rst-content .tip, .rst-content .warning, .rst-content .seealso, .rst-content .admonition-todo, .btn, input[type="text"], input[type="password"], input[type="email"], input[type="url"], input[type="date"], input[type="month"], input[type="time"], input[type="datetime"], input[type="datetime-local"], input[type="week"], input[type="number"], input[type="search"], input[type="tel"], input[type="color"], select, textarea, .wy-menu-vertical li.on a, .wy-menu-vertical li.current > a, .wy-side-nav-search > a, .wy-side-nav-search .wy-dropdown > a, .wy-nav-top a {
+.rst-content .admonition-title:before, .rst-content h1 .headerlink:before, .rst-content h2 .headerlink:before, .rst-content h3 .headerlink:before, .rst-content h4 .headerlink:before, .rst-content h5 .headerlink:before, .rst-content h6 .headerlink:before, .rst-content dl dt .headerlink:before, .icon:before, .wy-dropdown .caret:before, .wy-inline-validate.wy-inline-validate-success .wy-input-context:before, .wy-inline-validate.wy-inline-validate-danger .wy-input-context:before, .wy-inline-validate.wy-inline-validate-warning .wy-input-context:before, .wy-inline-validate.wy-inline-validate-info .wy-input-context:before, .wy-alert, .rst-content .note, .rst-content .attention, .rst-content .caution, .rst-content .danger, .rst-content .error, .rst-content .hint, .rst-content .important, .rst-content .tip, .rst-content .warning, .rst-content .seealso, .rst-content .admonition-todo, .btn, input[type="text"], input[type="password"], input[type="email"], input[type="url"], input[type="date"], input[type="month"], input[type="time"], input[type="datetime"], input[type="datetime-local"], input[type="week"], input[type="number"], input[type="search"], input[type="tel"], input[type="color"], select, textarea, .wy-menu-vertical li.on a, .wy-menu-vertical li.current > a, .wy-side-nav-search > a, .wy-side-nav-search .wy-dropdown > a, .wy-nav-top a {
   -webkit-font-smoothing: antialiased;
 }
 
@@ -342,2050 +344,9 @@ big, small {
   clear: both;
 }
 
-/*!<commit_msg>Revert "font-awesome 5: also patch badge-only.css"<commit_after>From: <NAME> <<EMAIL>>
Date: Sat, 26 May 2018 16:57:16 +0200
Subject: Use font-awesome 5 shim

Specific to Debian: fonts-font-awesome package upgraded to version 5 in sid.

Forwarded: not-needed
Author: <NAME> <<EMAIL>>
---
 .../sphinx_rtd_theme_violet/static/css/theme.css   | 2047 +-------------------
 1 file changed, 4 insertions(+), 2043 deletions(-)

diff --git a/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css b/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css
index 88e1a1a..53a6798 100644
--- a/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css
+++ b/docs/_themes/sphinx_rtd_theme_violet/static/css/theme.css
@@ -1,3 +1,5 @@
+@import "./font-awesome.css";
+
 * {
   -webkit-box-sizing: border-box;
   -moz-box-sizing: border-box;
@@ -327,7 +329,7 @@ big, small {
     page-break-after: avoid;
   }
 }
-.fa:before, .rst-content .admonition-title:before, .rst-content h1 .headerlink:before, .rst-content h2 .headerlink:before, .rst-content h3 .headerlink:before, .rst-content h4 .headerlink:before, .rst-content h5 .headerlink:before, .rst-content h6 .headerlink:before, .rst-content dl dt .headerlink:before, .icon:before, .wy-dropdown .caret:before, .wy-inline-validate.wy-inline-validate-success .wy-input-context:before, .wy-inline-validate.wy-inline-validate-danger .wy-input-context:before, .wy-inline-validate.wy-inline-validate-warning .wy-input-context:before, .wy-inline-validate.wy-inline-validate-info .wy-input-context:before, .wy-alert, .rst-content .note, .rst-content .attention, .rst-content .caution, .rst-content .danger, .rst-content .error, .rst-content .hint, .rst-content .important, .rst-content .tip, .rst-content .warning, .rst-content .seealso, .rst-content .admonition-todo, .btn, input[type="text"], input[type="password"], input[type="email"], input[type="url"], input[type="date"], input[type="month"], input[type="time"], input[type="datetime"], input[type="datetime-local"], input[type="week"], input[type="number"], input[type="search"], input[type="tel"], input[type="color"], select, textarea, .wy-menu-vertical li.on a, .wy-menu-vertical li.current > a, .wy-side-nav-search > a, .wy-side-nav-search .wy-dropdown > a, .wy-nav-top a {
+.rst-content .admonition-title:before, .rst-content h1 .headerlink:before, .rst-content h2 .headerlink:before, .rst-content h3 .headerlink:before, .rst-content h4 .headerlink:before, .rst-content h5 .headerlink:before, .rst-content h6 .headerlink:before, .rst-content dl dt .headerlink:before, .icon:before, .wy-dropdown .caret:before, .wy-inline-validate.wy-inline-validate-success .wy-input-context:before, .wy-inline-validate.wy-inline-validate-danger .wy-input-context:before, .wy-inline-validate.wy-inline-validate-warning .wy-input-context:before, .wy-inline-validate.wy-inline-validate-info .wy-input-context:before, .wy-alert, .rst-content .note, .rst-content .attention, .rst-content .caution, .rst-content .danger, .rst-content .error, .rst-content .hint, .rst-content .important, .rst-content .tip, .rst-content .warning, .rst-content .seealso, .rst-content .admonition-todo, .btn, input[type="text"], input[type="password"], input[type="email"], input[type="url"], input[type="date"], input[type="month"], input[type="time"], input[type="datetime"], input[type="datetime-local"], input[type="week"], input[type="number"], input[type="search"], input[type="tel"], input[type="color"], select, textarea, .wy-menu-vertical li.on a, .wy-menu-vertical li.current > a, .wy-side-nav-search > a, .wy-side-nav-search .wy-dropdown > a, .wy-nav-top a {
   -webkit-font-smoothing: antialiased;
 }
 
@@ -342,2050 +344,9 @@ big, small {
   clear: both;
 }
 
-/*!
{'fraction_non_alphanumeric': 0.19504475005457322, 'fraction_numerical': 0.023357345557738485, 'mean_word_length': 4.185625353706848, 'pattern_counts': {'":': 0, '<': 15, '<?xml version=': 0, '>': 27, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6264760', 'n_tokens_mistral': 3591, 'n_tokens_neox': 3320, 'n_words': 598}