RubyGems Navigation menu

metanorma 0.3.17