Filet

N. m.

Trait de taille et de grosseur variable utilisé en typographie pour mettre en valeur les textes ou les séparer, pour créer des tableaux et des encadrés, pour séparer les colonnes ou simplement comme élément décoratif.

Les filets se distinguent par leur graisse, le style du trait (type de pointillé) et leur couleur. Ils peuvent également être doublés (filet double-maigre ou filet cadre composé d'un filet maigre et d'un filet gras). Il existe également de nombreux filets fantaisie. Un filet renflé en son milieu est appelé filet anglais.

En HTML, on obtient un filet avec la balise "hr". En CSS ils sont définis par les propriétés border-color (couleur), border-style (trait continu, pointillés, tirets) et border-width (graisse). L'ensemble de ces caractéristiques peut être défini grâce à la propriété border.

Outil utilisé en façonnage pour couper ou rainer le papier ou le carton.