File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 348348 <code >
349349 Html =
350350 element html {
351+ attribute design-width { xsd:integer }?,
351352 attribute favicon { "none" | "simple" }?,
352353 attribute short-answer-responses { "graded" | "always" }?,
353354 (
360361 Exercises? &
361362 Feedback? &
362363 Indexpage? &
364+ Interactives? &
363365 Knowls? &
364366 NavigationHTML? &
365367 Platform? &
419421 attribute ref { text }
420422 }
421423
424+ Interactives =
425+ element interactives {
426+ attribute resize-behavior { "fixed-height" | "responsive" }?,
427+ element InteractiveTypes {
428+ attribute resize-behavior { "fixed-height" | "responsive" }?
429+ }*
430+ }
431+
432+ InteractiveTypes |=
433+ GeogebraInteractive
434+ DesmosInteractive
435+ Calcplot3dInteractive
436+ CircuitjsInteractive
437+ D3Interactive
438+ DoenetmlInteractive
439+ IframeInteractive
440+ JavascriptInteractive
441+ JsxgraphInteractive
442+ SageInteractive
443+
444+ GeogebraInteractive =
445+ InteractiveTypeOptions
446+ DesmosInteractive =
447+ InteractiveTypeOptions
448+ Calcplot3dInteractive =
449+ InteractiveTypeOptions
450+ CircuitjsInteractive =
451+ InteractiveTypeOptions
452+ D3Interactive =
453+ InteractiveTypeOptions
454+ DoenetmlInteractive =
455+ InteractiveTypeOptions
456+ IframeInteractive =
457+ InteractiveTypeOptions
458+ JavascriptInteractive =
459+ InteractiveTypeOptions
460+ JsxgraphInteractive =
461+ InteractiveTypeOptions
462+ SageInteractive =
463+ InteractiveTypeOptions
464+
465+ InteractiveTypeOptions =
466+ attribute resize-behavior { "fixed-height" | "responsive" }?
467+
422468 Knowls =
423469 element knowl {
424470 attribute theorem { "yes" | "no" }?,
You can’t perform that action at this time.
0 commit comments