I think you could use child theme to use Pinboard theme as parent theme and make your small changes by modifying specific templates such as page.php, single.php, etc.
This would allow you to modify Pinboard theme without hard coding it and if the theme is updated you can update without losing your modifications.