.border-radius (@size) {
  border-radius: @size;
}

.border-radius(5px);