Opera browser required.
- This extension can access your data on some websites.
Screenshot
About the extension
- Downloads
- 6,921
- Category
- Developer Tools
- Version
- 0.2.0
- Size
- 763.8 KB
- Last update
- 26 Feb 2021
- Licence
- Privacy policy
- Service website
- https://mermaid.stefs.me
- Support page
- https://mermaid.stefs.me
- Source code page
- https://github.com/Stefan-S/mermaid-extension
Related
-
Pixel converter
Pixel converter is a crucial web development and design tool for converting pixel values into different measurement units like inches, centimeters, or percentages, ensuring consistency across diverse devices and screens in responsive web design.
-
DomainUserAgent
This extension changes the UserAgent sent by your browser on a per-domain base. You can set up a different UserAgent for a specific domain, but still use the default one otherwise.
-
Web Widgetizer
Web Widgetizer is a extension offering a range of features to enhance browsing. It allows users to create separate Opera windows for specific websites, manage favorite links, customize window dimensions, toggle auto-start, and open links in popup tabs via button click or shortcut (Ctrl + Shift + A). This versatile tool optimizes browsing convenience and efficiency.
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
-
Toggle Environment
Toggle between development environment url's