theme: don't use transparency for borders

When the client is also using ARGB, the border becomes too transparent
and may be difficult to see. Just use a plain RGB border.