All I know is that everything else in the first style would apply (I'm pretty sure I know this). The problem would come to the border-bottom-style part. I'm not sure what would happen there. You best bet is to try it out and see what happens. Try it in a few browsers too to see if they handle it differently.

And yeah, it's CSS for Cascading Style Sheets