.thumbnail img{
 margin-top:5px; padding: 5px;  border:#ddd 1px solid; float:left; margin-left:13px;
}
.thumbnail:hover img{
 margin-top:5px; padding: 5px;  border: #46AA9D 1px solid; float:left;
}
.thumbnail:hover{
color: red; /* irrelevant definition to overcome IE bug */
}

.borderit img{
border: 1px solid #ccc;
}

.borderit:hover img{
border: 1px solid navy;
}

.borderit:hover{
color: red; /* irrelevant definition to overcome IE bug */
}