tree b34045cc0aff96c3b39a5cce29a93c72d86c1047
parent 1caa634dca20197bacc010e07678b5d69aa5bfa2
author Davide Pesavento <davidepesa@gmail.com> 1600555722 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1601325463 -0700

docs: refresh and improve the "named data" sphinx theme

Change-Id: I6c04bb94e33191a2b0d32e0d7bc61ab44af9d84d