Add fancy badges to docs site

This commit is contained in:
Graham Esau 2019-12-11 20:11:48 +00:00
parent 5a0800256f
commit 43ac3fddb6
2 changed files with 8 additions and 4 deletions

View file

@ -29,11 +29,11 @@ url: "https://graham.cool" # the base hostname & protocol for your site, e.g. ht
remote_theme: pmarsceill/just-the-docs remote_theme: pmarsceill/just-the-docs
aux_links: aux_links:
"GitHub": '<img src="https://img.shields.io/badge/GitHub--lightgrey?style=social&amp;logo=github" alt="Schemars on GitHub" title="Schemars on GitHub">':
- "https://github.com/GREsau/schemars" - "https://github.com/GREsau/schemars"
"crates.io": '<img src="https://img.shields.io/crates/v/schemars" alt="Schemars on crates.io" title="Schemars on crates.io">':
- "https://crates.io/crates/schemars" - "https://crates.io/crates/schemars"
"API docs": '<img src="https://docs.rs/schemars/badge.svg" alt="Schemars API docs" title="Schemars API docs">':
- "https://docs.rs/schemars" - "https://docs.rs/schemars"
# Exclude from processing. # Exclude from processing.

View file

@ -126,4 +126,8 @@ sm: 500px,
md: $content-width, md: $content-width,
lg: $content-width + $nav-width, lg: $content-width + $nav-width,
xl: 1400px xl: 1400px
); );
.aux-nav a:not([class]), .aux-nav a:not([class]):hover {
background: none;
}