RubyGems Navigation menu

metanorma-cc 1.6.0