unchanging visited link color

coin-or · Apr 7, 2022 · 81f51ba · 81f51ba
1 parent 2dc2d2e
commit 81f51ba
Show file tree

Hide file tree

Showing 7 changed files with 4 additions and 9 deletions.
diff --git a/docs/build/html/.buildinfo b/docs/build/html/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 6ca2873da1111b09e8448050cff3a729
+config: 9f3677d76cb67e7d59dc342179e31f7e
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/build/html/INSTALL.html b/docs/build/html/INSTALL.html
@@ -7,7 +7,6 @@
   <title>For Windows users &mdash; Gravity  documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
-      <link rel="stylesheet" href="_static/css/custom.css" type="text/css" />
   <!--[if lt IE 9]>
     <script src="_static/js/html5shiv.min.js"></script>
   <![endif]-->

diff --git a/docs/build/html/README.html b/docs/build/html/README.html
@@ -7,7 +7,6 @@
   <title>Getting Started &mdash; Gravity  documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
-      <link rel="stylesheet" href="_static/css/custom.css" type="text/css" />
   <!--[if lt IE 9]>
     <script src="_static/js/html5shiv.min.js"></script>
   <![endif]-->

diff --git a/docs/build/html/genindex.html b/docs/build/html/genindex.html
@@ -6,7 +6,6 @@
   <title>Index &mdash; Gravity  documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
-      <link rel="stylesheet" href="_static/css/custom.css" type="text/css" />
   <!--[if lt IE 9]>
     <script src="_static/js/html5shiv.min.js"></script>
   <![endif]-->

diff --git a/docs/build/html/index.html b/docs/build/html/index.html
@@ -7,7 +7,6 @@
   <title>Gravity &mdash; Gravity  documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
-      <link rel="stylesheet" href="_static/css/custom.css" type="text/css" />
   <!--[if lt IE 9]>
     <script src="_static/js/html5shiv.min.js"></script>
   <![endif]-->

diff --git a/docs/build/html/search.html b/docs/build/html/search.html
@@ -6,7 +6,6 @@
   <title>Search &mdash; Gravity  documentation</title>
       <link rel="stylesheet" href="_static/pygments.css" type="text/css" />
       <link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
-      <link rel="stylesheet" href="_static/css/custom.css" type="text/css" />
 
   <!--[if lt IE 9]>
     <script src="_static/js/html5shiv.min.js"></script>

diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -56,8 +56,8 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
-html_css_files = [
-    'css/custom.css',
-]
+# html_css_files = [
+#     'css/custom.css',
+# ]
 html_theme = 'sphinx_rtd_theme'
 # html_logo = "https://static.wixstatic.com/media/c6cff5_dd7659693c6247dc8eb8605d3dca95e8~mv2_d_3300_2550_s_4_2.png/v1/crop/x_1058,y_575,w_1183,h_1225/fill/w_288,h_298,al_c,usm_0.66_1.00_0.01/c6cff5_dd7659693c6247dc8eb8605d3dca95e8~mv2_d_3300_2550_s_4_2.png"