diff --git a/docs/4.5.0/api/Html_f.Make.wiki b/docs/4.5.0/api/Html_f.Make.wiki new file mode 100644 index 000000000..cfaab3d02 --- /dev/null +++ b/docs/4.5.0/api/Html_f.Make.wiki @@ -0,0 +1,14 @@ +=Functor <> = +<
> <>>> <>Xml <> <>>><><> \\   <>Svg <> <>>><><> : \\  \\  <>(Xml)(Svg).T>><>>>~Create a new implementation of <>~, using the given underlying <>
+    and <> implementation~. ~Will output a module of type <> with
+    the various type equalities~.
+
+
+    ~If your <> implementation uses a special function wrapping~, use
+    <>~.
+<
><>|
+|@@class="centertop fifteen code"@@{{{Svg}}}|@@class="centertop"@@:|<>|
+>>>>
+
+----
diff --git a/docs/4.5.0/api/Html_f.Make_with_wrapped_functions.wiki b/docs/4.5.0/api/Html_f.Make_with_wrapped_functions.wiki
new file mode 100644
index 000000000..8e4317e96
--- /dev/null
+++ b/docs/4.5.0/api/Html_f.Make_with_wrapped_functions.wiki
@@ -0,0 +1,9 @@
+=Functor <> =
+<
> <>>> <>Xml <> <>>><> \\   <>C <> <>>><><> \\   <>Svg <> <>>><><> : \\  \\  <>(Xml)(Svg).T>><>>>~Similar to <> but with a custom set of wrapped functions~.
+<
><>|
+|@@class="centertop fifteen code"@@{{{C}}}|@@class="centertop"@@:|<>|
+|@@class="centertop fifteen code"@@{{{Svg}}}|@@class="centertop"@@:|<>|
+>>>>
+
+----
diff --git a/docs/4.5.0/api/Html_f.Wrapped_functions.wiki b/docs/4.5.0/api/Html_f.Wrapped_functions.wiki
new file mode 100644
index 000000000..028c64409
--- /dev/null
+++ b/docs/4.5.0/api/Html_f.Wrapped_functions.wiki
@@ -0,0 +1,8 @@
+=Functor <> =
+<
> <>>> <>Xml <> <>>><><> : \\  <>>><>>>~The standard set of wrapped functions~, when <> is the regular function~.
+<
><>|
+>>>>
+
+----
+<
> <> <> <>>><>>><
> <> <> <>[< <> ], string<> <><><><><>>>>><
> <> <> <>bool, string<> <><><><><>>>>><
> <> <> <>bool, string<> <><><><><>>>>><
> <> <> <><>, string<> <><><><><>>>>><
> <> <> <>[< <> ], string<> <><><><><>>>>><
> <> <> <>[< <> ], string<> <><><><><>>>>><
> <> <> <>[< <> ], string<> <><><><><>>>>><
> <> <> <>[< <> ] list, string<> <><><><><>>>>><
> <> <> <>[< <> ] list, string<> <><><><><>>>>><
> <> <> <>[< <> ], string<> <><><><><>>>>><
> <> <> <><>, string<> <><><><><>>>>><
> <> <> <>[< <> ] list, string<> <><><><><>>>>><
> <> <> <><><> * <><> list option, string<> <><><><><>>>>><
> <> <> <><><>\\  | `Url_pixel of <><><> * <>\\  | `Url_width of <><><> * <> ]>> >><
> <> <> <>[< <> ] list, string<>\\  <><><><><>>>>><
> <> <> <><>, string<> <><><><><>>>>><
> <> <> <>float option, string<> <><><><><>>>>><
> <> <> <>string option, string<> <><><><><>>>>>
\ No newline at end of file
diff --git a/docs/4.5.0/api/Html_f.wiki b/docs/4.5.0/api/Html_f.wiki
new file mode 100644
index 000000000..f8297346d
--- /dev/null
+++ b/docs/4.5.0/api/Html_f.wiki
@@ -0,0 +1,14 @@
+=Module <> =
+<
> <>>> <> <><><>>>~Typesafe constructors for ~H~T~M~L documents ~(~Functorial interface~)
+
+
+    See <>. 
+
+----
+<
> <> <>Xml <> <>>><><> \\   <>Svg <> <>>><><> : \\  \\  <>(Xml)(Svg).T>><>>><
>~, using the given underlying <>
+    and <> implementation~.
+>>
+<
> <> <>Xml <> <>>><><> : \\  <>>><>>><
> is the regular function~.
+>>
+<
> <> <>Xml <> <>>><> \\   <>C <> <>>><><> \\   <>Svg <> <>>><><> : \\  \\  <>(Xml)(Svg).T>><>>><
> but with a custom set of wrapped functions~.
+>>
diff --git a/docs/4.5.0/api/Html_sigs.Make.T.wiki b/docs/4.5.0/api/Html_sigs.Make.T.wiki
new file mode 100644
index 000000000..a30c7b787
--- /dev/null
+++ b/docs/4.5.0/api/Html_sigs.Make.T.wiki
@@ -0,0 +1,372 @@
+=Module type <> =
+<
> <> <> \\  <>>><>.t = 'a <>.t\\       and type 'a <>.tlist = 'a <>.tlist\\       and type ('a,'b) <>.ft = ('a,'b) <>.ft\\       and type Xml.uri = Xml.uri\\       and type Xml.event_handler = Xml.event_handler\\       and type Xml.mouse_event_handler = Xml.mouse_event_handler\\       and type Xml.keyboard_event_handler = Xml.keyboard_event_handler\\       and type Xml.touch_event_handler = Xml.touch_event_handler\\       and type Xml.attrib = Xml.attrib\\       and type Xml.elt = Xml.elt\\       and module Svg := Svg>>>>~See <>~.
+
+----
+<
> <> <>>><
>~. ~Most elements constructors
+      are either <>~, <> or <>~,
+      depending on the number of children they accept~.
+      ~Children are usually given as a list of elements~.
+      <> is used for text~.
+
+
+      <>
+      is equivalent to
+      <~foo~<~/a~>~<~/div~>>>
+
+
+      ~The type variable <> is used to track the element~'s type~. ~This
+      allows the ~O~Caml typechecker to check ~H~T~M~L validity~.
+
+
+      ~For example~, <> is of type < `~Div~] elt>>~.
+      ~The <> function only accepts children of type
+      <>~.
+      ~Since <> is not part of it~. <> will not typecheck~.
+
+
+      ~Note that the concrete implementation of this type can vary~.
+      ~See <> for details~.
+>>
+<
> <> <> <> <>>> >><
>
+<
> <> <>>><
> and their name starts
+      with <>~. ~Attributes are given to elements with the <> optional argument~.
+
+
+      <>
+      is equivalent to
+      <link!~<~/a~>>>
+
+
+      ~Similarly to <>~, attributes use the ~O~Caml type system to enforce
+      ~H~T~M~L validity~.
+
+
+      ~For example <> returns a value of type < `~Href~] attrib>>~.
+      ~The <> function only accepts attributes of type
+      <>~.
+      ~Since <> is not part of it~,
+      <> will not typecheck~.
+
+
+      ~In some cases~, attributes have to be disambiguated~.
+      ~The <> attribute has two version~,
+      <> and <>~, depending on the
+      element~.
+      ~Such disambiguated attribute will contain the name of the associated element~.
+>>
+<
> <> <> <>>><>>><
>
+<
> <> <> <> <><><><><>>> >><
> is a container for elements and values~.
+
+
+      ~In most cases~, <>~. ~For <> modules ~(in eliom or js~_of~_ocaml~)~,
+      ~It will be <>~.
+>>
+<
> <> <> <> <><><><><>>> >><
> is a container for list of elements~.
+
+
+      ~In most cases~, <>~. ~For <> modules ~(in eliom or js~_of~_ocaml~)~,
+      ~It will be <>~.
+>>
+<
> <>'a, 'b<>>> <> <> <>'a <> list < >> unit < >> 'b <>>> >><
>
+<
> <>'a, 'b, 'c<>>> <> <> <>'a <> list < >>\\  'b <> <> < >> 'c <>>> >><
>
+<
> <>'a, 'b, 'c<>>> <> <> <>'a <> list < >>\\  'b <> <> < >> 'c <>>> >><
>
+<
> <> <> <>>><>>><
> combinator~.
+>>
+<
> <> <> <>>><>>><
>
+
+
+===@@id="3_Uri"@@~Uri===
+
+<
> <> <> <><><>>> >><
> <> <> <><>, string<> <><><><><>>>>><
> <> <> <>string, <><> <><><><><>>>>>
+
+==@@id="attributes"@@~Attributes==
+
+<
> <> <> <> <> < >> [> `Class ] <>>>>><
>
+<
> <> <> <> < >>\\  <> <> < >> [> `User_data ] <>>>>><

+  
  • Beyond The Sea
    • 
+}}}
+      ~It should be used for preprocessing ends only~.
+>>
+<
    > <> <> <> <> < >> [> `Id ] <>>>>><
    >
+<
    > <> <> <> <> < >> [> `Title ] <>>>>><
    >
+      element to designate an external style sheet~. ~Please consult the
+      section on links and style sheets for details~.
+>>
+
+
+===@@id="3_I18N"@@~I~1~8~N===
+
+<
    > <> <> <> <> < >>\\  [> `XML_lang ] <>>>>><
    > <> <> <> <> < >>\\  [> `Lang ] <>>>>>
+
+===@@id="3_Events"@@~Events===
+
+
+
+      
+====@@id="4_Javascriptevents"@@~Javascript events====
+
+<
    > <> <> <><><> < >> [> `OnAbort ] <>>>>><
    > <> <> <><><> < >> [> `OnAfterPrint ] <>>>>><
    > <> <> <><><> < >> [> `OnBeforePrint ] <>>>>><
    > <> <> <><><> < >> [> `OnBeforeUnload ] <>>>>><
    > <> <> <><><> < >> [> `OnBlur ] <>>>>><
    > <> <> <><><> < >> [> `OnCanPlay ] <>>>>><
    > <> <> <><><> < >> [> `OnCanPlayThrough ] <>>>>><
    > <> <> <><><> < >> [> `OnChange ] <>>>>><
    > <> <> <><><> < >> [> `OnClose ] <>>>>><
    > <> <> <><><> < >> [> `OnDurationChange ] <>>>>><
    > <> <> <><><> < >> [> `OnEmptied ] <>>>>><
    > <> <> <><><> < >> [> `OnEnded ] <>>>>><
    > <> <> <><><> < >> [> `OnError ] <>>>>><
    > <> <> <><><> < >> [> `OnFocus ] <>>>>><
    > <> <> <><><> < >> [> `OnFormChange ] <>>>>><
    > <> <> <><><> < >> [> `OnFormInput ] <>>>>><
    > <> <> <><><> < >> [> `OnHashChange ] <>>>>><
    > <> <> <><><> < >> [> `OnInput ] <>>>>><
    > <> <> <><><> < >> [> `OnInvalid ] <>>>>><
    > <> <> <><><> < >> [> `OnMouseWheel ] <>>>>><
    > <> <> <><><> < >> [> `OnOffLine ] <>>>>><
    > <> <> <><><> < >> [> `OnOnLine ] <>>>>><
    > <> <> <><><> < >> [> `OnPause ] <>>>>><
    > <> <> <><><> < >> [> `OnPlay ] <>>>>><
    > <> <> <><><> < >> [> `OnPlaying ] <>>>>><
    > <> <> <><><> < >> [> `OnPageHide ] <>>>>><
    > <> <> <><><> < >> [> `OnPageShow ] <>>>>><
    > <> <> <><><> < >> [> `OnPopState ] <>>>>><
    > <> <> <><><> < >> [> `OnProgress ] <>>>>><
    > <> <> <><><> < >> [> `OnRateChange ] <>>>>><
    > <> <> <><><> < >> [> `OnReadyStateChange ] <>>>>><
    > <> <> <><><> < >> [> `OnRedo ] <>>>>><
    > <> <> <><><> < >> [> `OnResize ] <>>>>><
    > <> <> <><><> < >> [> `OnScroll ] <>>>>><
    > <> <> <><><> < >> [> `OnSeeked ] <>>>>><
    > <> <> <><><> < >> [> `OnSeeking ] <>>>>><
    > <> <> <><><> < >> [> `OnSelect ] <>>>>><
    > <> <> <><><> < >> [> `OnShow ] <>>>>><
    > <> <> <><><> < >> [> `OnStalled ] <>>>>><
    > <> <> <><><> < >> [> `OnStorage ] <>>>>><
    > <> <> <><><> < >> [> `OnSubmit ] <>>>>><
    > <> <> <><><> < >> [> `OnSuspend ] <>>>>><
    > <> <> <><><> < >> [> `OnTimeUpdate ] <>>>>><
    > <> <> <><><> < >> [> `OnUndo ] <>>>>><
    > <> <> <><><> < >> [> `OnUnload ] <>>>>><
    > <> <> <><><> < >> [> `OnVolumeChange ] <>>>>><
    > <> <> <><><> < >> [> `OnWaiting ] <>>>>><
    > <> <> <><><> < >> [> `OnLoad ] <>>>>><
    > <> <> <><><> < >> [> `OnLoadedData ] <>>>>><
    > <> <> <><><> < >> [> `OnLoadedMetaData ] <>>>>><
    > <> <> <><><> < >> [> `OnLoadStart ] <>>>>><
    > <> <> <><><> < >> [> `OnMessage ] <>>>>>
+
+====@@id="4_Mouseevents"@@~Mouse events====
+
+<
    > <> <> <><><> < >> [> `OnClick ] <>>>>><
    > <> <> <><><> < >> [> `OnContextMenu ] <>>>>><
    > <> <> <><><> < >> [> `OnDblClick ] <>>>>><
    > <> <> <><><> < >> [> `OnDrag ] <>>>>><
    > <> <> <><><> < >> [> `OnDragEnd ] <>>>>><
    > <> <> <><><> < >> [> `OnDragEnter ] <>>>>><
    > <> <> <><><> < >> [> `OnDragLeave ] <>>>>><
    > <> <> <><><> < >> [> `OnDragOver ] <>>>>><
    > <> <> <><><> < >> [> `OnDragStart ] <>>>>><
    > <> <> <><><> < >> [> `OnDrop ] <>>>>><
    > <> <> <><><> < >> [> `OnMouseDown ] <>>>>><
    > <> <> <><><> < >> [> `OnMouseUp ] <>>>>><
    > <> <> <><><> < >> [> `OnMouseOver ] <>>>>><
    > <> <> <><><> < >> [> `OnMouseMove ] <>>>>><
    > <> <> <><><> < >> [> `OnMouseOut ] <>>>>><
    > <> <> <><><> < >> [> `OnTouchStart ] <>>>>><
    >
+<
    > <> <> <><><> < >> [> `OnTouchEnd ] <>>>>><
    > <> <> <><><> < >> [> `OnTouchMove ] <>>>>><
    > <> <> <><><> < >> [> `OnTouchCancel ] <>>>>>
+
+====@@id="4_Keyboardevents"@@~Keyboard events====
+
+<
    > <> <> <><><> < >> [> `OnKeyPress ] <>>>>><
    > <> <> <><><> < >> [> `OnKeyDown ] <>>>>><
    > <> <> <><><> < >> [> `OnKeyUp ] <>>>>>
+
+===@@id="3_Otherattributes"@@~Other attributes===
+
+<
    > <> <> < >> [> `Allowfullscreen ] <>>>>><
    > <> <> < >> [> `Allowpaymentrequest ] <>>>>><
    > <> <> <> <> < >>\\  [> `Autocomplete ] <>>>>><
    >
+<
    > <> <> < >> [> `Async ] <>>>>><
    > <> <> < >> [> `Autofocus ] <>>>>><
    > <> <> < >> [> `Autoplay ] <>>>>><
    > <> <> < >> [> `Muted ] <>>>>><
    > <> <> <> < >>\\  [> `Crossorigin ] <>>>>><
    > <> <> <> < >> [> `Integrity ] <>>>>><
    > <> <> <> < >> [> `Mediagroup ] <>>>>><
    > <> <> <> <> < >> [> `Challenge ] <>>>>><
    > <> <> <> < >> [> `Contenteditable ] <>>>>><
    > <> <> <> <> < >>\\  [> `Contextmenu ] <>>>>><
    > <> <> < >> [> `Controls ] <>>>>><
    > <> <> <> < >> [> `Dir ] <>>>>><
    > <> <> <> < >> [> `Draggable ] <>>>>><
    > <> <> <> <> < >> [> `Form ] <>>>>><
    > <> <> <><><> <> < >> [> `Formaction ] <>>>>><
    > <> <> <> <> < >>\\  [> `Formenctype ] <>>>>><
    > <> <> < >> [> `Formnovalidate ] <>>>>><
    > <> <> <> <> < >>\\  [> `Formtarget ] <>>>>><
    > <> <> < >> [> `Hidden ] <>>>>><
    > <> <> <> <> < >>\\  [> `High ] <>>>>><
    > <> <> <><><> <> < >> [> `Icon ] <>>>>><
    > <> <> < >> [> `Ismap ] <>>>>><
    > <> <> <> <> < >> [> `Keytype ] <>>>>><
    > <> <> <> <> < >> [> `List ] <>>>>><
    > <> <> < >> [> `Loop ] <>>>>><
    > <> <> <> <> < >>\\  [> `High ] <>>>>><
    > <> <> <> <> < >>\\  [> `Max ] <>>>>><
    > <> <> <> <> < >>\\  [> `Input_Max ] <>>>>><
    > <> <> <> <> < >>\\  [> `Min ] <>>>>><
    > <> <> <> <> < >>\\  [> `Input_Min ] <>>>>><
    > <> <> <> < >> [> `Inputmode ] <>>>>><
    >
+<
    > <> <> < >> [> `Novalidate ] <>>>>><
    > <> <> < >> [> `Open ] <>>>>><
    > <> <> <> <> < >>\\  [> `Optimum ] <>>>>><
    > <> <> <> <> < >> [> `Pattern ] <>>>>><
    > <> <> <> <> < >>\\  [> `Placeholder ] <>>>>><
    > <> <> <><><> <> < >> [> `Poster ] <>>>>><
    > <> <> <> < >>\\  [> `Preload ] <>>>>><
    > <> <> < >> [> `Pubdate ] <>>>>><
    > <> <> <> <> < >>\\  [> `Radiogroup ] <>>>>><
    > <> <> <> <> < >>\\  [> `Referrerpolicy ] <>>>>><
    > <> <> < >> [> `Required ] <>>>>><
    > <> <> < >> [> `Reversed ] <>>>>><
    > <> <> <> ] list <> < >>\\  [> `Sandbox ] <>>>>><
    > <> <> <> < >> [> `Spellcheck ] <>>>>><
    > <> <> < >> [> `Scoped ] <>>>>><
    > <> <> < >> [> `Seamless ] <>>>>><
    > <> <> <><> * <><> list option <> < >>\\  [> `Sizes ] <>>>>><
    > <> <> <> <> < >> [> `Span ] <>>>>><
    > <> <> <> <> < >>\\  [> `XML_lang ] <>>>>><
    >~Use <> instead~.
+>>
+<
    > <> <> <>\\  | `Url_pixel of <> * <>\\  | `Url_width of <> * <> ]>> >><
    > <> <> <> list <> < >>\\  [> `Srcset ] <>>>>><
    > <> <> <> list <> < >>\\  [> `Img_sizes ] <>>>>><
    > <> <> <> <> < >> [> `Start ] <>>>>><
    > <> <> <> option <> < >>\\  [> `Step ] <>>>>><
    > <> <> <> < >> [> `Translate ] <>>>>><
    > global attribute documentation~.]]\\
+>>
+<
    > <> <> <> < >> [> `Wrap ] <>>>>><
    > <> <> <> <> < >> [> `Version ] <>>>>><
    > <> <> <> < >>\\  [> `XMLns ] <>>>>><
    > <> <> <><><> <> < >> [> `Manifest ] <>>>>><
    > <> <> <><><> <> < >> [> `Cite ] <>>>>><
    > <> <> <> < >>\\  [> `XML_space ] <>>>>><
    > <> <> <> <> < >>\\  [> `Accesskey ] <>>>>><
    >
+<
    > <> <> <> <> < >>\\  [> `Charset ] <>>>>><
    >
+<
    > <> <> <> <> < >>\\  [> `Accept_charset ] <>>>>><
    > <> <> <> <> < >>\\  [> `Accept ] <>>>>><
    > <> <> <><><> <> < >> [> `Href ] <>>>>><
    >
+<
    > <> <> <> <> < >>\\  [> `Hreflang ] <>>>>><
    >
+<
    > <> <> <> < >> [> `Download ] <>>>>><
    > <> <> <> <> < >> [> `Rel ] <>>>>><
    >
+
+~This attribute is used to describe a reverse link from the
+      anchor specified by the href attribute to the current
+      document~. ~The value of this attribute is a space~-separated
+      list of link types~.
+<
    > <> <> <> <> < >>\\  [> `Tabindex ] <>>>>><
    >
+<
    > <> <> <> <> < >>\\  [> `Mime_type ] <>>>>><
    >
+<
    > <> <> <> <> < >> [> `Datetime ] <>>>>><
    > <> <> <><><> <> < >> [> `Action ] <>>>>><
    >
+<
    > <> <> < >> [> `Checked ] <>>>>><
    > attribute has the value <> or
+      <>~, this boolean attribute specifies that the
+      button is on~. ~User agents must ignore this attribute for
+      other control types~.
+>>
+<
    > <> <> <> <> < >> [> `Cols ] <>>>>><
    >
+<
    > <> <> <> <> < >>\\  [> `Enctype ] <>>>>><
    > <> <> <> <> < >>\\  [> `Label_for ] <>>>>><
    > <> <> <> <> < >>\\  [> `Label_for ] <>>>>><
    >~Use a~_label~_for
+>>
+<
    > <> <> <> <> < >>\\  [> `Output_for ] <>>>>><
    > <> <> <> <> < >>\\  [> `Output_for ] <>>>>><
    >~Use a~_output~_for
+>>
+<
    > <> <> <> <> < >>\\  [> `Maxlength ] <>>>>><
    > <> <> <> <> < >>\\  [> `Minlength ] <>>>>><
    > <> <> <> < >> [> `Method ] <>>>>><
    > <> <> <> < >>\\  [> `Formmethod ] <>>>>><
    > <> <> < >> [> `Multiple ] <>>>>><
    > <> <> <> <> < >> [> `Name ] <>>>>><
    >
+<
    > <> <> <> <> < >> [> `Rows ] <>>>>><
    >
+<
    > <> <> < >> [> `Selected ] <>>>>><
    >
+<
    > <> <> <> <> < >> [> `Size ] <>>>>><
    > <> <> <><><> <> < >> [> `Src ] <>>>>><
    > <> <> <> < >> [> `Input_Type ] <>>>>><
    > <> <> <> <> < >>\\  [> `Text_Value ] <>>>>><
    > element~.
+>>
+<
    > <> <> <> <> < >>\\  [> `Int_Value ] <>>>>><
    > <> <> <> <> < >> [> `Value ] <>>>>><
    > <> <> <> <> < >>\\  [> `Float_Value ] <>>>>><
    > <> <> < >> [> `Disabled ] <>>>>><
    > <> <> < >> [> `ReadOnly ] <>>>>><
    > <> <> <> < >>\\  [> `Button_Type ] <>>>>><
    > <> <> <> <> < >>\\  [> `Script_type ] <>>>>><
    > <> <> <> < >>\\  [> `Command_Type ] <>>>>><
    > <> <> <> < >>\\  [> `Menu_Type ] <>>>>><
    > <> <> <> <> < >> [> `Label ] <>>>>><
    > <> <> <> < >>\\  [> `Align ] <>>>>><
    >~Use ~C~S~S text~-align
+>>
+<
    > <> <> <> <> < >> [> `Axis ] <>>>>><
    >~Not supported in ~H~T~M~L~5
+>>
+<
    > <> <> <> <> < >> [> `Colspan ] <>>>>><
    > <> <> <> <> < >> [> `Headers ] <>>>>><
    > <> <> <> <> < >> [> `Rowspan ] <>>>>><
    > <> <> <> < >>\\  [> `Scope ] <>>>>><
    >~Not supported in ~H~T~M~L~5
+>>
+<
    > <> <> <> <> < >> [> `Summary ] <>>>>><
    >~Move content elsewhere or to a ~ child
+>>
+<
    > <> <> <> <> < >> [> `Border ] <>>>>><
    >~Use ~C~S~S border and~/or border~-width
+>>
+<
    > <> <> <> < >>\\  [> `Rules ] <>>>>><
    >~Use ~C~S~S border
+>>
+<
    > <> <> <> <> < >> [> `Char ] <>>>>><
    >~The char attribute is not supported in ~H~T~M~L~5
+>>
+<
    > <> <> <> <> < >> [> `Alt ] <>>>>><
    > <> <> <> <> < >> [> `Height ] <>>>>><
    > <> <> <> <> < >> [> `Width ] <>>>>><
    > <> <> <> >><
    > <> <> <> <> < >> [> `Shape ] <>>>>><
    > <> <> <> <> < >> [> `Coords ] <>>>>><
    > <> <> <> <> < >> [> `Usemap ] <>>>>><
    > <> <> <><><> <> < >> [> `Data ] <>>>>><
    > <> <> <> <> < >>\\  [> `Codetype ] <>>>>><
    >~Not supported in ~H~T~M~L~5
+>>
+<
    > <> <> <> < >>\\  [> `Frameborder ] <>>>>><
    >~Use ~C~S~S border
+>>
+<
    > <> <> <> <> < >>\\  [> `Marginheight ] <>>>>><
    >~Use ~C~S~S
+>>
+<
    > <> <> <> <> < >>\\  [> `Marginwidth ] <>>>>><
    >~Use ~C~S~S
+>>
+<
    > <> <> <> < >>\\  [> `Scrolling ] <>>>>><
    > <> <> <> <> < >>\\  [> `Target ] <>>>>><
    > <> <> <> <> < >> [> `Content ] <>>>>><
    > <> <> <> <> < >>\\  [> `Http_equiv ] <>>>>><
    > <> <> < >> [> `Defer ] <>>>>><
    > <> <> <> <> < >>\\  [> `Media ] <>>>>><
    > <> <> <> < >> [> `Style_Attr ] <>>>>><
    > <> <> <> < >> [> `Property ] <>>>>>
+
+===@@id="3_ARIAsupport"@@~A~R~I~A support===
+
+
+[[ https://www.w3.org/TR/wai-aria-1.1/| ~W~A~I~-~A~R~I~A]] is a specification
+      written by the ~W~3~C~, defining a set of additional ~H~T~M~L attributes that can
+      be applied to elements to provide additional semantics and improve
+      accessibility wherever it is lacking~.
+
+
+      ~See for example a [[
+      https://developer.mozilla.org/en-US/docs/Learn/Accessibility/WAI-ARIA_basics|
+      ~W~A~I~-~A~R~I~A tutorial]]~.
+<
    > <> <> <> < >> [> `Role ] <>>>>><
    >
+<
    > <> <> < >>\\  string list <> < >> [> `Aria ] <>>>>><
    > corresponds to an
+      "aria~-foo" attribute~.
+**See also** [[https://www.w3.org/TR/wai-aria-1.1/#state_prop_def|~List of ~W~A~I~-~A~R~I~A attributes]]\\
+>>
+
+
+==@@id="elements"@@~Elements==
+
+<
    > <> <> <> < >> [> <> ] <>>>>><
    > <> <> <><> <> list < >>\\  [< <> ] <> <> < >>\\  [< <> ] <> <> < >>\\  [> <> ] <>>>>><
    > <> <> <><> <> list < >>\\  [< <> ] <> <> < >>\\  <> <> <> < >>\\  [> <> ] <>>>>><
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <><>, [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ] <><><> list < >>\\  [< <> ] <><><> <> < >>\\  [> <> ] <>>>>>
+
+===@@id="3_Section"@@~Section===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>>
+
+===@@id="3_Groupingcontent"@@~Grouping content===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[ `Bottom of\\                  [< <> ] <>\\                  <>\\              | `Top of\\                  [< <> ] <>\\                  <> ] < >>\\  <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<> <>>>>>
+
+===@@id="3_Semantic"@@~Semantic===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<> <>>>>><
    > <> <> <>[< `Ltr | `Rtl ] <> < >>\\  <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<> <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>>
+
+===@@id="3_Hypertext"@@~Hypertext===
+
+<
    > <> <> <>[< <> ], 'a, [> 'a <> ]<> <>>>>>
+
+===@@id="3_Edit"@@~Edit===
+
+<
    > <> <> <>[< <> ], 'a, [> 'a <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], 'a, [> 'a <> ]<>\\  <>>>>>
+
+===@@id="3_Embedded"@@~Embedded===
+
+<
    > <> <> <><><><> <> < >>\\  <><> <> < >>\\  <>[< <> ], [> <> ]<> <>>>>><
    > <> <> <>[< <> ] <> <> < >>\\  <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    >
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ] <> <> < >>\\  <>[< <> ], 'a, [> `Object of 'a ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <><><><> <> < >>\\  <>[< <> ] <> <> < >>\\  <>[< <> ], 'a, [> 'a <> ]<>\\  <>>>>><
    > <> <> <><><><> <> < >>\\  <>[< <> ] <> <> < >>\\  <>[< <> ], 'a, [> 'a <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], 'a, [> 'a <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <><> <> < >>\\  <>[< `Accesskey\\    | `Alt\\    | `Aria\\    | `Class\\    | `Contenteditable\\    | `Contextmenu\\    | `Coords\\    | `Dir\\    | `Draggable\\    | `Hidden\\    | `Hreflang\\    | `Id\\    | `Lang\\    | `Media\\    | `Mime_type\\    | `OnAbort\\    | `OnBlur\\    | `OnCanPlay\\    | `OnCanPlayThrough\\    | `OnChange\\    | `OnClick\\    | `OnClose\\    | `OnContextMenu\\    | `OnDblClick\\    | `OnDrag\\    | `OnDragEnd\\    | `OnDragEnter\\    | `OnDragLeave\\    | `OnDragOver\\    | `OnDragStart\\    | `OnDrop\\    | `OnDurationChange\\    | `OnEmptied\\    | `OnEnded\\    | `OnError\\    | `OnFocus\\    | `OnFormChange\\    | `OnFormInput\\    | `OnInput\\    | `OnInvalid\\    | `OnKeyDown\\    | `OnKeyPress\\    | `OnKeyUp\\    | `OnLoad\\    | `OnLoadStart\\    | `OnLoadedData\\    | `OnLoadedMetaData\\    | `OnMouseDown\\    | `OnMouseMove\\    | `OnMouseOut\\    | `OnMouseOver\\    | `OnMouseUp\\    | `OnMouseWheel\\    | `OnPause\\    | `OnPlay\\    | `OnPlaying\\    | `OnProgress\\    | `OnRateChange\\    | `OnReadyStateChange\\    | `OnScroll\\    | `OnSeeked\\    | `OnSeeking\\    | `OnSelect\\    | `OnShow\\    | `OnStalled\\    | `OnSubmit\\    | `OnSuspend\\    | `OnTimeUpdate\\    | `OnTouchCancel\\    | `OnTouchEnd\\    | `OnTouchMove\\    | `OnTouchStart\\    | `OnVolumeChange\\    | `OnWaiting\\    | `Rel\\    | `Role\\    | `Shape\\    | `Spellcheck\\    | `Style_Attr\\    | `Tabindex\\    | `Target\\    | `Title\\    | `Translate\\    | `User_data\\    | `XML_lang\\    | `XMLns ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], 'a, [> 'a <> ]<>\\  <>>>>>
+
+===@@id="3_TablesData"@@~Tables ~Data===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ] <> <> < >>\\  <>[< <> ] <>\\           <> < >>\\  <>[< <> ] <> <> < >>\\  <>[< <> ] <> <> < >>\\  <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ] <> <> < >>\\  <>[< <> ] <>\\           <> < >>\\  <>[< <> ] <> <> < >>\\  <>[< <> ] <> <> < >>\\  <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<> <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>>
+
+===@@id="3_Forms"@@~Forms===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ] <> <> < >>\\  <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > attribute
+      ~(although it is not necessary~)~. ~Such constraints are not currently
+      enforced by the type~-system
+>>
+<
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< `Options of\\                 [< <> ] <>\\                 <>\\             | `Phras of\\                 [< <> ] <>\\                 <> ] < >>\\  <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <><> <> < >>\\  <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>>
+
+===@@id="3_Data"@@~Data===
+
+<
    > <> <> < >> [> <> ] <>>>>><
    > is the ~H~T~M~L entity <>~. ~Both numerical and named form are allowed~.
+**See also**
+* [[http://www.w3schools.com/html/html_entities.asp|~A tutorial on ~H~T~M~L entities~.]]
+* [[https://www.w3.org/TR/html5/syntax.html#named-character-references|~The list of ~H~T~M~L entities~.]]
+
+>>
+<
    > <> <> < >> [> <> ] <>>>>><
    > <> <> < >> [> <> ] <>>>>><
    > <> <> < >> [> <> ] <>>>>><
    > <> <> < >> [> <> ] <>>>>>
+
+===@@id="3_Interactive"@@~Interactive===
+
+<
    > <> <> <> ] <> <> < >>\\  <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <><> <> < >>\\  <>[< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< `Flows of\\                 [< <> ] <>\\                 <>\\             | `Lis of\\                 [< `Li of [< <> ] ] <>\\                 <> ] < >>\\  <>[< <> ], [> <> ]<>\\  <>>>>>
+
+===@@id="3_Scripting"@@~Scripting===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    > <> <> <>[< <> ],\\   [< <> ], [> <> ]<>\\  <>>>>><
    >
+<
    > <> <> <>[< <> ], [> <> ]<>\\  <>>>>>
+
+===@@id="3_StyleSheets"@@~Style ~Sheets===
+
+<
    > <> <> <>[< <> ], [< <> ],\\   [> <> ]<>\\  <>>>>><