diff --git a/ivette/src/frama-c/plugins/eva/sized.tsx b/ivette/src/frama-c/plugins/eva/sized.tsx index 8b142f4add9c902c74c08dacdec2186c93c104bb..12aa6a5baae78301f30389d62d7fa6b9948ba2d4 100644 --- a/ivette/src/frama-c/plugins/eva/sized.tsx +++ b/ivette/src/frama-c/plugins/eva/sized.tsx @@ -109,7 +109,7 @@ export class FontSizer { /* --------------------------------------------------------------------------*/ export const WSIZER = new FontSizer(7, 6); -export const HSIZER = new FontSizer(14, 6); +export const HSIZER = new FontSizer(15, 6); export interface SizedAreaProps { cols: number;