text: var a00440 =
  [
      [ "CHILD_COLOUR", "a00440.html#a7c40159b1166c369b1307ac9257f1405", null ],
      [ "FIRST_COLOUR", "a00440.html#a70083999d911cb1aa3ed0580bc66fd22", null ],
      [ "LAST_COLOUR", "a00440.html#aaa8f711f73dfdf579c53b00dbc721966", null ],
      [ "word_comparator", "a00440.html#a8a8c04307eb98f244554d5b2eb97ec56", null ],
      [ "CANT_SCALE_EDGESTEPS", "a00440.html#ad8da5b5584b304c496fe8cf4b4a1b65f", null ]
  ];