Add <code> element style
Use <code> for the names of command-line tools