cleanup & replace Ctrl to Alt key

Author: sgarnotel

.gitignore

@@ -2,4 +2,5 @@ build
 tools/package-lock.json
 tools/node_modules
 tools/lunr_index.js
+tools/lunr_index_edps.js
 source/sphinx-extensions/__pycache__

README.md

@@ -1,14 +1,17 @@
-[![Build Status](https://app.travis-ci.com/FreeFem/FreeFem-doc.svg?branch=master)](https://travis-ci.com/FreeFem/FreeFem-doc)
+[![Doc build (HTML & PDF)](https://github.com/FreeFem/FreeFem-doc/actions/workflows/sphinx.yml/badge.svg?branch=master)](https://github.com/FreeFem/FreeFem-doc/actions/workflows/sphinx.yml)
 
 # FreeFEM documentation
 
 The [FreeFEM](https://freefem.org/) documentation is a collaborative effort. We welcome all contributions, do not hesitate to submit a pull request.
 
 ## View the documentation
+
 Visit the [Documentation website](https://doc.freefem.org) or download the [PDF](https://doc.freefem.org/pdf/FreeFEM-documentation.pdf). The PDF is re-generated automatically after each GitHub commit.
 
 ## Install the documentation
+
 FreeFEM-doc uses [Sphinx](http://www.sphinx-doc.org/en/master/), have a look at the [sphinx installation](sphinx.md)
 
 ## How to contribute
+
 Have a look at the [contributing file](CONTRIBUTING.md)

source/_static/css/search.css

@@ -1,16 +1,12 @@
 .search-toggle {
-  background-color: #fff;
-  color: rgb(255, 0, 0);
   position: absolute;
   top: 3rem;
-  margin: 0;
-  height: 19px;
-  min-width: 100%;
   z-index: 2;
-  border: 1px solid rgb(255, 0, 0);
-  /*overflow: auto;*/
-  /*border-radius: 0 0 .27rem .27rem;*/
-  /*box-shadow: .27rem .55rem 1rem #888888;*/
+  display: flex;
+  flex-direction: column;
+  padding: 5px;
+  color: red;
+  background-color: #fff;
 }
 
 .search-container {
@@ -24,22 +20,22 @@
 }
 
 #search-icon {
-  padding: .5625rem 0 .5625rem .5625rem;
-  background-color: #00007F;
+  padding: 0.5625rem 0 0.5625rem 0.5625rem;
+  background-color: #00007f;
   z-index: 2;
 }
 
 #search-icon i {
-  color: #FFF;
+  color: #fff;
   line-height: 19px;
 }
 
 #searchInput {
   margin: 0;
-  padding: .5625rem;
+  padding: 0.5625rem;
   border: none;
-  background-color: #00007F;
-  color: #FFF;
+  background-color: #00007f;
+  color: #fff;
   font-size: 1rem;
   width: 230px;
   height: 38px;
@@ -61,8 +57,8 @@
   left: 0;
   width: 100%;
   height: 100%;
-  transition: width 0s .25s, height 0s .25s, opacity .25s;
-  background-color: rgba(0, 0, 0, .54);
+  transition: width 0s 0.25s, height 0s 0.25s, opacity 0.25s;
+  background-color: rgba(0, 0, 0, 0.54);
   cursor: pointer;
   z-index: 1;
   display: none;
@@ -78,34 +74,34 @@
   min-width: 100%;
   z-index: 2;
   overflow: auto;
-  border-radius: 0 0 .27rem .27rem;
-  box-shadow: .27rem .55rem 1rem #888888;
+  border-radius: 0 0 0.27rem 0.27rem;
+  box-shadow: 0.27rem 0.55rem 1rem #888888;
 }
 
 #searchResults > p {
-    text-align: center;
+  text-align: center;
 }
 
 #searchResults .search-result {
-  border-bottom: 1px solid #EFEFEF;
+  border-bottom: 1px solid #efefef;
 }
 
 #searchResults .search-result-main-title {
   font-size: 1.2rem;
-  color: #00007F;
+  color: #00007f;
   display: block;
   outline: 0;
   overflow: hidden;
 }
 
 #searchResults .search-result-main-title i {
-  color: #0000FF;
-  padding: .8rem 1rem;
+  color: #0000ff;
+  padding: 0.8rem 1rem;
   font-size: 1.5rem;
 }
 
 #searchResults .search-result-sub {
-  border-bottom: 1px solid #EFEFEF;
+  border-bottom: 1px solid #efefef;
 }
 
 #searchResults .search-result-title {
@@ -126,9 +122,9 @@
 }
 
 #searchResults a:hover {
-  background-color: rgba(83, 109, 254, .1);
+  background-color: rgba(83, 109, 254, 0.1);
 }
 
 #searchResults a:hover p {
-  background-color: rgba(83, 109, 254, .1);
+  background-color: rgba(83, 109, 254, 0.1);
 }