Filet (typographie)
En typographie, un filet est un trait de taille et de graisse variables qui accompagne les éléments de texte ou les images pour les mettre en valeur et les différencier, pour créer des tableaux et des encadrés, pour séparer des colonnes. Il marque aussi la fin d'un chapitre ou sert simplement d'élément décoratif dans la composition. En informatique personnelle, il est souvent confondu à tort avec la commande « souligné ».
![](http://up.wiki.x.io/wikipedia/commons/thumb/3/3f/MarivauxFopCorrected.jpg/260px-MarivauxFopCorrected.jpg)
Types de filet
modifierLes filets se distinguent par leur épaisseur : ils peuvent être maigre, mi-maigre, quart-gras, mi-gras, ou œil plein. Ils se distinguent également par leur style : pointillé ou tremblé, double (les filets doubles sont dits double-maigre ou gouttière), cadre (un filet cadre est un filet maigre doublé d’un gras) ou triple.
Un filet portant en son milieu un renflement circulaire ou anguleux est dit « filet anglais » : il sert dans les journaux à séparer les différents articles. Il existe un grand nombre de filets de fantaisie proposé par les différentes fonderies.
Comme les caractères typographiques, les filets sont réalisés en plomb, mais parfois aussi en zinc. Au XIXe siècle, le fabricant Hermann Berthold propose des filets en laiton, beaucoup plus précis et plus résistants. Il est le premier à atteindre la finesse d’un point typographique. Il se spécialise également dans la fabrication de filets circulaires ou cintrés destinés à la fabrication des timbres en caoutchouc.
Les filets sont disponibles aux tailles standard, mais les typographes les coupent et les tordent pour réaliser les figures de leur composition, voire de véritables dessins, avant que la photogravure ne fournisse des clichés à moindre frais.
Représentation informatique
modifierEn HTML :
- en HTML 4.01, un filet horizontal s'obtient avec la balise
<hr>
(horizontal rule) ; en HTML 5, avec la notion de séparation du fond et de la forme, cette balise indique une rupture thématique dans le texte qui est en général rendu par un filet horizontal ; en XHTML, la balise est<hr />
; - pour les tableaux, les filets sont décrits par l'attribut
border
(bordure) ; par exemple<table border="1"> … </table>
. Son usage est cependant déprécié au profit du CSS.
En CSS, les filets sont définis par les propriétés border-color
pour la couleur, border-style
pour le type de trait (continu, pointillés, tirets) et border-width
pour la graisse (« largeur ») ; par exemple
<div style="border-color: gray;
border-style: dotted;
border-width: medium">
Lorem ipsum…
</div>
On peut définir toutes les caractéristiques du filet d'un coup avec la propriété border
: <div style="border: gray dotted medium"> … </div>
. On peut également définir séparément les filets haut, bas, gauche et droite avec les propriétés border-top
, border-bottom
, border-left
et border-right
: <div style="border-bottom: gray dotted medium"> … </div>
.
En LaTeX, un filet horizontal s'obtient avec la commande \hrulefill
. Un filet autour d'un groupe de mots (encadrement) s'obtient avec \fbox{…}
.
Dans un tableau, on définit un filet vertical avec un « tube » |
dans la définition des colonnes, et un filet horizontal avec la commande \hline
, par exemple :
\begin{tabular}{|c|c|}
\hline
A & B\\ \hline
C & D\\ \hline
\end{tabular}
L'Unicode possède une table dédiée aux filets : Table des caractères Unicode/U2500.