public String attributesSynopsisLine(String line) {

    /* 
     * Color and attributes similar to man pages:
     * http://i.imagebanana.com/img/n8316h4e/manman_001.png
     */
    String colorStr = "", lastColorCode = null;
    char ch;
    for(int x=0; x < line.length(); x++) {
      ch = line.charAt(x);

      if(ch == '\u0003') {
        lastColorCode = line.substring(x, (x+3));
        /* Debug code */
        
//        for(int j = 0; j < 3; j++) {
//          System.out.println(lastColorCode.charAt(j));
//        }
      }

      if(ch == '|' || ch == '<' || ch == '>' ||
         ch == '[' || ch == ']' || ch == ',') {
        /* Uncomment to get no bold for special chars, same as man pages */
//        colorStr += NORMAL + line.substring(x, (x+1)) + BOLD;
        colorStr += NORMAL + BOLD + line.substring(x, (x+1));
        /* Debug */
//        String code = "NONE ";
//        switch(line.substring(x, (x+1)) ) {
//          CASE CYAN:
//            System.out.print("CYAN ");
//          CASE GREEN:
//            System.out.print("CYAN ");
//          CASE NORMAL:
//            System.out.print("CYAN ");
//          CASE BOLD:
//          default:
//            System.err.println("UNKNOWN " + line.substring(x, (x+1)));
//        }
        if(lastColorCode != null) {
          colorStr += lastColorCode;
        }
      } else {
        colorStr += line.substring(x, (x+1));
      }
    }

    return colorStr;
  }