/* CSS styles for the tool */