From 4a39d12d4568f76ebf45b34cec722d8e0bcf1207 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 8 Mar 2017 19:02:59 -0800 Subject: 3764 - better colors for cross-links --- html/010vm.cc.html | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'html/010vm.cc.html') diff --git a/html/010vm.cc.html b/html/010vm.cc.html index 72c39b11..9b80d3ee 100644 --- a/html/010vm.cc.html +++ b/html/010vm.cc.html @@ -10,9 +10,9 @@