Default.css

Is there a reason Default.css is missing from the /css/ directory? I like your plugin but I just found that omission odd. I end up adding a blank stylesheet to that directory whenever I use this.

http://wordpress.org/extend/plugins/ob-page-numbers/