Some minimal rounded border buttons

A couple of buttons designed for CG's CMS, Skamp.

by mich

HTML

<a class="button" href="#">Button</a>
<a class="highlight button" href="#">Highlight</a>
<a class="disabled button" href="#">Disabled</a>

CSS

body { padding: 30px; }
a.button {
    outline: none;
    box-sizing: border-box;
    font-family:arial;
    border: solid 1px #AAA;
    padding: 4px 8px;
    text-decoration: none;
    font-weight: bold;
    background-color: #EEE;
    color: #555;
    border-radius: 4px;
    box-shadow: 0px 1px 2px #FFF inset,
        0px 2px 2px #FFF inset;
    
}
a.button:hover {
    box-shadow: 
        0px -1px 1px #AAA inset,
        0px 1px 2px #FFF inset,
        0px 2px 2px #FFF inset,
        1px 0px 2px #FFF inset,
        2px 0px 2px #FFF inset;
/*        0px 1px 1px #CCC;*/
    border: solid 1px #999;
    color: #444;
    text-shadow: 0 -1px 1px #FFF;
    background: #eeeeee; /* Old browsers */
    background: -moz-linear-gradient(top, #eeeeee 0%, #dddddd 99%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#eeeeee), color-stop(99%,#dddddd)); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top, #eeeeee 0%,#dddddd 99%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top, #eeeeee 0%,#dddddd 99%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top, #eeeeee 0%,#dddddd 99%); /* IE10+ */
    background: linear-gradient(top, #eeeeee 0%,#dddddd 99%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#eeeeee', endColorstr='#dddddd',GradientType=0 ); /* IE6-9 */
}
a.button:active {
    box-shadow: 
        0px 0px 2px #AAA inset;
        
    border: solid 1px #BBB;
    color: #444;
    text-shadow: 0 -1px 1px #FFF;
    color: #555;
background: #dddddd; /* Old browsers */
background: -moz-linear-gradient(top, #dddddd 1%, #eeeeee 100%); /* FF3.6+ */
background: -webkit-gradient(linear, left top, left bottom, color-stop(1%,#dddddd), color-stop(100%,#eeeeee)); /* Chrome,Safari4+ */
background: -webkit-linear-gradient(top, #dddddd 1%,#eeeeee 100%); /* Chrome10+,Safari5.1+ */
background: -o-linear-gradient(top, #dddddd 1%,#eeeeee 100%); /* Opera 11.10+ */
background:...