// Example code, taken from
// https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/Your_first_WebExtension
document.body.style.border = "5px solid red";