Loading src/resources/bundles-installer.xq +3 −0 Original line number Diff line number Diff line Loading @@ -3,6 +3,9 @@ xquery version "3.0"; declare namespace configuration = "http://certic.unicaen.fr/max/ns/1.0"; (:~ : Install bundles from configuration file :) let $bundles := doc('../../config.xml')//configuration:bundles/configuration:bundle Loading src/resources/max.cssdeleted 100644 → 0 +0 −74 Original line number Diff line number Diff line body { font-family: Arial, sans-serif; line-height: 1.6; margin: 20px; } body.h-100{ overflow: hidden; height: 100vh; } main { overflow-y: auto; padding:2rem; } aside { flex: 1 0 15%; border-right: 1px solid #efefef; } .wrapper { display: flex; height: 100%; } main ul { padding-left: 0; } h1 { padding-bottom: 5px; } h2, h3 { color: #333; } h3{ margin-top:15px; } h4 { color: #777; margin-top: 0; } h3,h4 { margin-bottom:0; } .description, .parameters, .return { display: flex; } .function { border-top: 1px dashed #aaa; } .description, .parameters, .return { align-items: center; } .description h4, .parameters h4, .return h4 { margin-right:2rem; } .parameter { margin-left: 20px; } pre{ display: inline-block; padding: 0.5rem; background-color: #efefef; border: 1px solid #ddd; font-size: 1rem; } .examples pre { font-size: 0.8rem; background-color: #f8f8f8; } No newline at end of file Loading
src/resources/bundles-installer.xq +3 −0 Original line number Diff line number Diff line Loading @@ -3,6 +3,9 @@ xquery version "3.0"; declare namespace configuration = "http://certic.unicaen.fr/max/ns/1.0"; (:~ : Install bundles from configuration file :) let $bundles := doc('../../config.xml')//configuration:bundles/configuration:bundle Loading
src/resources/max.cssdeleted 100644 → 0 +0 −74 Original line number Diff line number Diff line body { font-family: Arial, sans-serif; line-height: 1.6; margin: 20px; } body.h-100{ overflow: hidden; height: 100vh; } main { overflow-y: auto; padding:2rem; } aside { flex: 1 0 15%; border-right: 1px solid #efefef; } .wrapper { display: flex; height: 100%; } main ul { padding-left: 0; } h1 { padding-bottom: 5px; } h2, h3 { color: #333; } h3{ margin-top:15px; } h4 { color: #777; margin-top: 0; } h3,h4 { margin-bottom:0; } .description, .parameters, .return { display: flex; } .function { border-top: 1px dashed #aaa; } .description, .parameters, .return { align-items: center; } .description h4, .parameters h4, .return h4 { margin-right:2rem; } .parameter { margin-left: 20px; } pre{ display: inline-block; padding: 0.5rem; background-color: #efefef; border: 1px solid #ddd; font-size: 1rem; } .examples pre { font-size: 0.8rem; background-color: #f8f8f8; } No newline at end of file