Closed yymao closed 6 years ago
This PR implements a sidebar info box, as discussed in #18
@yymao this is super cool!
This PR implements a sidebar info box, as discussed in #18