No hace falta reescribir todas las propiedades del borde, solo el grosor, por ejemplo, tomando de partida la respuesta de Aiub Al-lal:
.menu {border-left: #f2f2f2 10px solid; border-right: #f2f2f2 10px solid;}
@media (max-width: 600px) { .menu {border-width: 0 5px;} }
@media (max-width: 300px) { .menu {border-width: 0 2px;} }
.menu {border-left: #f2f2f2 10px solid; border-right: #f2f2f2 10px solid;}
@media (max-width: 600px) {
.menu {border-width: 0 5px;}
}
@media (max-width: 300px) {
.menu {border-width: 0 2px;}
}