code: private void tagvalue(Options opt, Doc c) {
  	Tag tags[] = c.tags("tagvalue");
  	if (tags.length == 0)
  	    return;
  	
  	for (Tag tag : tags) {
  	    String t[] = tokenize(tag.text());
  	    if (t.length != 2) {
  		System.err.println("@tagvalue expects two fields: " + tag.text());
  		continue;
  	    }
  	    tableLine(Align.RIGHT, Font.TAG.wrap(opt, "{" + t[0] + " = " + t[1] + "}"));
  	}
      }
docs: Return as a string the tagged values associated with c
  @param opt the Options used to guess font names
  @param c the Doc entry to look for @tagvalue
  @param prevterm the termination string for the previous element
  @param term the termination character for each tagged value