We've just updated Web Marker so that every tool (pencil, highlighter, eraser, text, and shapes) now remembers its own size independently. When you switch tools, the correct thickness is restored automatically.
You can set these individual sizes in the extension's Options page.
