tree c67f86fe33732896129b0dcba0993d6b41775cdd
parent 9f6a7d97bc0a7732b03826b9f10c900edf94b262
author Davide Pesavento <davidepesa@gmail.com> 1602044785 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1602091154 -0400

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

Change-Id: I196c30f84ce4edd5cd10dfe3cab6ea2dc6947815