Remove <box-ink> (gtk_render_focus), the last stylish ink.

Remove <box-ink> (gtk_render_focus), the last stylish ink.

Use a rectangle ink in the demo instead.

It is too hard to calculate a stylish ink's extent, because it depends
on the style context -- the current theme's colors, line widths, etc.