/* Tool CSS — JSON to Types. Shared components only for now. */