the missing javadoc fonts
Release 1.0.0
Depuis les documents API Java 8 générés avec l'outil javadoc de JDK utilise la famille Dejavu Font. Malheureusement, cette police est par défaut uniquement disponible sur certaines distributions Linux. Faites en sorte que votre Javadoc ressemble à l'original sur tous les systèmes et navigateurs en ajoutant les ressources de police de ce package.
Téléchargez le dernier package de police et décompressez-le dans le dossier racine de votre Javadoc. Le package de police ajoute les resources/fonts de dossier avec un fichier css et les fichiers de police woff2 .
CSS File stylesheet.css de Javadoc comprend déjà une feuille de style de police:
@import url('resources/fonts/dejavu.css');
La feuille de style manquante et les fichiers de police peuvent être ajoutés avec ce package. Le package est créé à partir du projet de police Dejavu en convertissant les polices TrueType dans des fichiers de police WOFF2 plus petits. Ces définitions de police ajoutent environ 1,7 Mo à votre distribution Javadoc.
Ce générateur est fourni "comme" en vertu de la licence MIT, sans garantie d'aucune sorte. Les polices emballées sont livrées avec leur propre licence de polices Dejavu.
