correct double semi-colon in css (refs #4046)
fix font-size and font-family for inputs (refs #4033)
correct workflow graph when quote are in labels (refs #4044)
transfert timer management to docadmin (refs #4036)