12 years ago

1.2
- change mini-nigra insensitive colors and fix borders.
1.1
- Slightly increase titlebar height of 1px to fix top sensitive border.
- Adjust titlebar corner rounding for mini-nigra.
1.0
- Initial release.
generator script :
- Change header to make working in python2.
- Possibility to have border smaller than width of rounded corners.
- Script adapted to themes.