Border line on the right-side TOC

[MaximilianKohler]

Thanks to @mishushakov here #592

.md-nav--secondary{
    border-left: 3px solid rgba(0,0,0,.8)
}

Use with

extra_css:
  - stylesheets/extra.css

I'm a noob so I hope more people share their customizations.