RubyGems Navigation menu

metanorma-cc 1.7.3