pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Minor doc styling tweaks.

pull/26/head
Dave Page 2019-08-22 15:11:51 +01:00
parent 9f455a514e
commit 1795141aec
1 changed files with 4 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/en_US/theme/pgadmin4/static/style.css
View File

@ -47,15 +47,15 @@ a:hover {
}
div.body dd, div.body blockquote {
line-height: 1.8em;
line-height: 1.4em;
}
div.body p{
line-height: 1.8em;
line-height: 1.4em;
}
div.body ul li{
line-height: 1.8em;
line-height: 1.4em;
}
div.body p strong{
@ -66,10 +66,6 @@ div.body li em, div.body p em{
font-weight: 400;
}
div.toctree-wrapper ul li.toctree-l1{
list-style: none;
}
div.toctree-wrapper ul li.toctree-l1 a cite{
font-weight: 500;
font-style: normal;
@ -262,7 +258,7 @@ div.sphinxsidebar form div:first-child{
}
div.sphinxsidebar {
line-height: 1.4rem;
line-height: 1.2rem;
font-size: 0.85rem;
color: #858da0;
background-color: #ebeef3;