function showPitchers() { var element = document.getElementById('hidePitchers'); element.style.display = 'block'; element = document.getElementById('showPitchers'); element.style.display = 'none'; }
function showLines() { var element = document.getElementById('hideLines'); element.style.display = 'block'; element = document.getElementById('showLines'); element.style.display = 'none'; }

function hl (element) {    element.style.backgroundColor = "#FFF972"; }
function uhl (element) {   element.style.backgroundColor = ""; }