/resources/

• ../
• icons
• index.gui
• numerals
• quantifier
• styles.css
• widgets.gui