tree c34e36fa411999572b8356d6e0325805a2815684
parent ebc8f75cd797a9aa140e06f91a869b54ebb9a3ce
author Romain Manni-Bucau <rmannibucau@gmail.com> 1619105283 +0200
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1619105283 +0200

fix font-family for the doc