dix </span> </a> </li> <li class=md-nav__item> <a href=../../specification/uim-specification.txt class=md-nav__link> <span class=md-ellipsis> Formal specification </span> </a> </li> <li class="md-nav__item md-nav__item--nested"> <input class="md-nav__toggle md-toggle " type=checkbox id=__nav_2_12> <div class="md-nav__link md-nav__container"> <a href=../../specification/additional/ class="md-nav__link "> <span class=md-ellipsis> Additional Documents </span> </a> <label class="md-nav__link " for=__nav_2_12 id