Merge branch 'feature/ivette/tip' into 'master'

ivette/src/dome/misc/format.ts

ivette/src/dome/misc/system.ts

ivette/src/dome/renderer/controls/buttons.tsx

ivette/src/dome/renderer/controls/gallery.json

ivette/src/dome/renderer/controls/icons.tsx

ivette/src/dome/renderer/controls/labels.tsx

ivette/src/dome/renderer/controls/style.css

ivette/src/dome/renderer/dark.css

ivette/src/dome/renderer/dome.tsx

ivette/src/dome/renderer/frame/style.css

ivette/src/dome/renderer/frame/toolbars.tsx

ivette/src/dome/renderer/layout/boxes.tsx

ivette/src/dome/renderer/layout/style.css

ivette/src/dome/renderer/light.css

ivette/src/dome/renderer/style.css

ivette/src/dome/renderer/text/richtext.tsx

ivette/src/frama-c/plugins/wp/api/index.ts

ivette/src/frama-c/plugins/wp/api/tac/index.ts

ivette/src/frama-c/plugins/wp/api/tip/index.ts

ivette/src/frama-c/plugins/wp/goals.tsx