IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-01-24 07:16:52 -06:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup some duplicated styles.

Browse Source
This commit is contained in:
Dave Page 2020-06-17 11:30:58 +01:00
parent d43518cb3c
commit 1ca9912987
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -22,10 +22,6 @@ div.body {
background-color: #fff;
}
div.related a {
color: #295C85;
}
div.related a:hover {
color: #ebeef3 !important;
text-decoration: underline !important;
@ -287,23 +283,19 @@ div.sphinxsidebar ul ul, div.sphinxsidebar ul.want-points {
padding-right: 0px;
margin-left: 0;
margin-right: 0;
list-style: none;
}
div.sphinxsidebar ul {
margin: 10px 10px 10px 0px;
}
div.sphinxsidebar ul ul, div.sphinxsidebar ul.want-points {
list-style: none;
}
div.sphinxsidebar ul li.toctree-l1 a cite {
font-style: normal;
-webkit-font-smoothing: antialiased;
font-weight: 400;
color: #295C85;
font-family: Roboto, Helvetica Neue, -apple-system, BlinkMacSystemFont, Segoe UI, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji, Segoe UI Symbol, Noto Color Emoji;
-webkit-font-smoothing: antialiased;
border:none;
padding:0px;
background-color: #f5f7f9;