They are located in the wp_options table inside an option called pinboard_theme_options. It’s a serialized array that you will need to unserialize and extract the user_css key. If you are not comfortable enough with code, the easiest way is to restore your backup on a local installation of WordPress and just copy the CSS from the options page.