diff options
author | 2019-04-17 23:57:14 +0200 | |
---|---|---|
committer | 2019-04-17 23:57:14 +0200 | |
commit | cf1fc2870326c431d0c4dc3fe46f2ae41c2fd5aa (patch) | |
tree | f26b61c866912c7007260f2d946ebbb3e5454585 /pydis_site/static/css/home | |
parent | makemigrations pipeline created, RepoData model created, and a really naive i... (diff) |
The GitHub API stuff is done now, including data caching. Just a couple of minor bugfixes left before this is PR-ready.
Diffstat (limited to 'pydis_site/static/css/home')
-rw-r--r-- | pydis_site/static/css/home/index.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pydis_site/static/css/home/index.css b/pydis_site/static/css/home/index.css index 2e201441..d1d1c01e 100644 --- a/pydis_site/static/css/home/index.css +++ b/pydis_site/static/css/home/index.css @@ -53,6 +53,17 @@ margin: 8px auto auto auto; } +div.card.github-card { + box-shadow: none; + border: #d1d5da 1px solid; + border-radius: 3px; +} + +div.repo-headline { + font-size: 1.25rem; + margin-bottom: 8px; +} + span.repo-language-dot { border-radius: 50%; height: 12px; |