mirror
/
repo2docker
kopia lustrzana https://github.com/jupyterhub/repo2docker
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Merge pull request #428 from evertrol/adjust-css-header-links 

Adjust css for header links
pull/424/merge
Chris Holdgraf 2018-10-10 07:31:43 -07:00 zatwierdzone przez GitHub
rodzic dc3114fdc0 d7cee53419
commit a161b0925a
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
2 zmienionych plików z 5 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

4
docs/source/_static/custom.css
Wyświetl plik

@ -5,3 +5,7 @@ img.logo {
div.body p.caption { div.body p.caption {
font-size: 1.5em; font-size: 1.5em;
} }
h2 a.toc-backref {
text-decoration: none;
}

2
docs/source/conf.py
Wyświetl plik

@ -44,7 +44,7 @@ source_parsers = {
} }
def setup(app): def setup(app):
app.add_stylesheet('_static/custom.css') # may also be an URL app.add_stylesheet('custom.css') # may also be a URL
# The suffix(es) of source filenames. # The suffix(es) of source filenames.
# You can specify multiple suffix as a list of string: # You can specify multiple suffix as a list of string: