Decker is a multimedia platform for creating and sharing interactive documents