[DOCS] Fix problem with Edit in github link

The link is created with docs in it, even if the mkdocs.yml file
mentions doc as the documentation folder. I am not aware if there is
any other dependency in the name doc, I have renamed it to docs and
changed it also in the mkdocs.yml file. It seems docs is hardcoded in
the readthedocs theme :(
This commit is contained in:
Kostas Tsiligkiris 2022-02-20 11:44:08 +02:00 committed by Bozhidar Batsov
parent 3f5e83d0e9
commit 9ed0d772da
26 changed files with 1 additions and 1 deletions
docs/css

15
docs/css/extra.css Normal file
View file

@ -0,0 +1,15 @@
/* By default kbd doesn't stand out very much. Let's fix this! */
kbd {
padding: 3px 5px;
border: solid 1px #ccc;
background-color: #fcfcfc;
border-radius: 3px;
box-shadow: inset 0 -1px 0 #bbb;
display: inline-block;
}
/* The default font-size for code blocks is 75% which makes code
hard to read. */
code {
font-size: 90%;
}