Avoid adding unnecessary <style> elements.

We used to add the same one over and over again.
Gateway: Added a delete button.

Each file in the gateway can display a menu in which a functional delete
button is.
Include the file menu while searching.
File Menu on the toolbar.

Includes the Delete button for now.