User blog comment:Paperluigi ttyd/Intro to HTML and CSS, Part 2/@comment-4139585-20120927195436

I've found the other options for the border type. The options are solid, dashes, and dotted. Here are what dashed and dotted look like:

Dashed:

This is in a rounded box and the border is dashed.

Dotted:

This is in a rounded box and the border is dotted.

I'm still wondering about the -webkit-border-radius, though :(