Script Summary: Dim out any links on Pinboard that you've already saved in your own account. Works on your network page, your tag subscriptions page and also the recent page and the global tags pages (though not on other users' pages -- pinboard support is not there yet for that).
The script adds a new class "gm_dimSaved" to the div that contains the bookmark info (has class name "bookmark"), and then adds styling to grey out text and links:
.gm_dimSaved .display, .gm_dimSaved .display div.description { color: #a9a9a9; }
.gm_dimSaved a { color: #a9a9a9; }
.gm_dimSaved a.url_link { background: inherit!important; }
If you are writing your own custom style for Pinboard, you should be able to override the styles provided by this script and customize your saved links however you please, using the gm_dimSaved class to identify the saved links.
