I'm having trouble with \mintinline, because I am using a black background for it, and the characters render in a way that I find unpleasing. Namely, when doing something like:
\documentclass{article}
\usepackage{minted}
\usemintedstyle{monokai}
\setminted{
bgcolor=black,
}
\begin{document}
Hello, \mintinline{coq}{+}, \mintinline{coq}{*}, \mintinline{coq}{-}, can you have the same height?
\end{document}
I would like each character's background to take the same height, as I find the difference jarring:
IS there a trick I can use to force the height to be fixed?

