can it be browser cache issue? Could you try force reload? (additionally you can play with style in Dev tools first, then change real CSS
On Tue, Aug 1, 2017 at 8:00 PM, Jacob Ouanounou <nav...@free.fr> wrote: > I have reduced all the "font-size" in theme.css by half, and stopped > restarted OM - Does not seem to change anything ... > > Le 01/08/2017 à 14:05, Maxim Solodovnik a écrit : > > Full file name is displayed as tooltip (element title) > You can modify CSS: theme.css > > On Tue, Aug 1, 2017 at 7:02 PM, Jacob Ouanounou <nav...@free.fr> wrote: > >> Hi Maxim, >> >> I have finally succeeded to run the version you made (for left side panel >> that was too large, in room page). In fact, I forgot to copy mysql >> connector in the corresponding directory. >> >> It is already much better than before. Thanks a lot. >> >> Still I would appreciate if I had (much) smaller fonts in this panel. As >> you can see in the screenshot below, the file-names are not readable. More >> generally, I think that all fonts can be smaller ... Is this in a css file >> ? Which one ? >> >> Thank you >> >> *Jacob Ouanounou* >> >> >> > > > -- > WBR > Maxim aka solomax > > > -- WBR Maxim aka solomax