#functions {
  color: color("evil red"); // #999999
  width: increment(15);
  height: undefined("self");
  border-width: add(2, 3);
}