CSS changes to the MySQL docs to make links always look like links

mysql_linkify.user.js

// ==UserScript==
// @name           MySQL Linkify
// @namespace      rcrowley.org
// @description    Restyle <code> tags within <a> tags to reduce confusion
// @include        http://*mysql.com/*
// ==/UserScript==

(function() {
	var a = document.getElementsByTagName('a');
	for (var i = 0; i < a.length; ++i) {
		var code = a[i].getElementsByTagName('code');
		for (var j = 0; j < code.length; ++j) {
			code[j].style.color = 'blue';
			code[j].style.textDecoration = 'inherit';
		}
	}
})();