@import "./fig4tex.css";
.macname{font-weight:bold;}
/* Reglage analogue a la balise <code> : */
.macdef{
   font-family:monospace;
   font-weight:bold;
   color:#000080;
   }
.argum{
   font-weight:bold;
   color:black;
   }