svghmi/gen_index_xhtml.ysl2
changeset 3511 7c27d57b6ec0
parent 3484 32eaba9cf30e
child 3555 a8b6d5e1fda3
equal deleted inserted replaced
3510:0d7f9c555ae2 3511:7c27d57b6ec0
    32             xmlns:debug="debug"
    32             xmlns:debug="debug"
    33             xmlns:preamble="preamble"
    33             xmlns:preamble="preamble"
    34             xmlns:declarations="declarations"
    34             xmlns:declarations="declarations"
    35             xmlns:definitions="definitions"
    35             xmlns:definitions="definitions"
    36             xmlns:epilogue="epilogue"
    36             xmlns:epilogue="epilogue"
       
    37             xmlns:cssdefs="cssdefs"
    37 
    38 
    38             /* Namespace to invoke python code */
    39             /* Namespace to invoke python code */
    39             xmlns:ns="beremiz"
    40             xmlns:ns="beremiz"
    40 
    41 
    41             extension-element-prefixes="ns func exsl regexp str dyn"
    42             extension-element-prefixes="ns func exsl regexp str dyn"
    72              xmlns:svg="http://www.w3.org/2000/svg"
    73              xmlns:svg="http://www.w3.org/2000/svg"
    73              xmlns:xlink="http://www.w3.org/1999/xlink" {
    74              xmlns:xlink="http://www.w3.org/1999/xlink" {
    74             head {
    75             head {
    75                 style type="text/css" media="screen" {
    76                 style type="text/css" media="screen" {
    76                     value "ns:GetFonts()";
    77                     value "ns:GetFonts()";
       
    78                     apply "document('')/*/cssdefs:*";
    77                 }
    79                 }
    78             }
    80             }
    79             // prevents user selection by mouse click / touch and drag
    81             // prevents user selection by mouse click / touch and drag
    80             // prevents pinch zoom and other accidental panning panning with touch devices
    82             // prevents pinch zoom and other accidental panning panning with touch devices
    81             body style="margin:0;overflow:hidden;user-select:none;touch-action:none;" {
    83             body style="margin:0;overflow:hidden;user-select:none;touch-action:none;" {