samp and kbd are good for marking up terminal sessions e.g. https://j4e.name/articles/marking-up-terminal-in-html/