Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
/* Apply rounded corners to the tabs in the menubar */
#p-namespaces ul li,
#p-views ul li {
border-radius: 10px; /* Adjust the value as needed */
}
#p-namespaces ul li a,
#p-views ul li a {
border-radius: 10px; /* Apply the same value for the anchor tags */
}
/* Optionally, add rounded corners to the search bar */
#searchInput {
border-radius: 10px;
}