span.patchDate {
	       font-size: x-small;
	  }
	  span.new {
	       font-size: small;
	       font-weight: bold;
	       color: red;
	  }
	  span.updated {
	       font-size: small;
	       font-weight: bold;
	       color: brown;
	  }
	  span.commited {
	       font-size: small;
               font-weight: bold;
               color: green;
          }
	  span.added {
	       font-size: small;
	       font-weight: bold;
	       color: darkred;
	  }
	  p.commited {
	       color: green;
	  }
	  p.added {
	       color: darkred;
	  }