I then created a Google Earth map showing the current border (in yellow) in Google Earth, and then I estimated the correct border position (in orange) based on the VE map (as well as other maps I ...

You can add a border to a document in Google Docs, even though there's no built-in border tool for doing this automatically. An easy way to create a single colored line border around your document is ...