cm-highlightSpace css #aaa 20% large

Hello, I recently updated my editor and now the space character seems too large now when compared to previous versions.

ͼ1 .cm-highlightSpace {
  background-image: radial-gradient(circle at 50% 55%, #aaa 20%, transparent 5%);
  background-position: center;
}

#aaa 20% possibly be 5%?

20%


5%
image

the commit

Thanks

The current size is intentional and looks fine to me. But of course you can override this CSS to adjust it locally if you prefer.