It's actually 13px, which is much smaller than 13pt. 16px (which is slightly smaller than 13pt) is pretty much the standard minimum.
Pinboard is great, but the UX could definitely do with some attention. It annoys me to the extent that one of my pet projects is a better front-end, using its API. As one small example, it's incredibly frustrating that I have to view page source to extract metadata (e.g. title + description) when adding a new URL, rather than pinboard just doing this for me.
As one small example, it's incredibly frustrating that I have to view page source to extract metadata (e.g. title + description) when adding a new URL, rather than pinboard just doing this for me.
I think my bookmark extension extracts at least the title for me.
IIRC one bookmark extension I used used to add whatever text I had highlighted before bookmarking as the description.
Pinboard is great, but the UX could definitely do with some attention. It annoys me to the extent that one of my pet projects is a better front-end, using its API. As one small example, it's incredibly frustrating that I have to view page source to extract metadata (e.g. title + description) when adding a new URL, rather than pinboard just doing this for me.