move js_file and css_file with one arguments to original definition location (ty…

…pes/making_a_web_site.anubis)

move js_file and css_file with one arguments to original definition location (ty…
…pes/making_a_web_site.anubis)
David RENÉ
1 parent e85764a7
Showing 2 changed files with 15 additions and 53 deletions Show diff stats
web/CXM_making_a_web_site.anubis
web/types/making_a_web_site.anubis
@@ -594,8 +594,6 @@ public type Web_Site:...
    'public' and 'journal'.
  
  
-
-   
       ** (2.3) Web servers parameters. 
  
    The web servers  have several parameters useful for  administration. They are described
@@ -604,9 +602,6 @@ public type Web_Site:...
  public type WebServersParameters:
    wsparms(Var(Bool)      shutdown_required, 
  
-   
-   
- 
       ** (2.4) Starting your web sites. 
  
    When you have described all your web sites (you may want to have several web sites, and
@@ -663,11 +658,6 @@ public define Start_Web_Sites_Result
    containing 'false' otherwise your servers will  not run. You may also use the primitive
    'must_restart' (see 'predefined.anubis') to control the restarting of your servers. 
  
-   
-   
-   
-   
-   
    * (3) The HTML interface. 
  
    We propose an interface to dynamic  HTML. Dynamic HTML includes HTML, and a combination
@@ -681,14 +671,6 @@ public define Start_Web_Sites_Result
    interface, and we comment them immediately. 
  
  //public type HTML_Off_Form:...
-   
-
-   
-   
-
-
-
-
  
  
 public define Printable_tree [HTML_Id      x . Printable_tree y] = str_pt(x.id, y).
@@ -697,10 +679,6 @@ public define Printable_tree [WebArgName   x . Printable_tree y] = str_pt(x.name
 public define Printable_tree [WebArgValue  x . Printable_tree y] = str_pt(x.value, y).
 public define Printable_tree [InitialValue x . Printable_tree y] = str_pt(x.value, y).
  
-
-
-
-
 public define CoreAttrs   attr(String name, Bool value) = attr(name, if value then "true" else "false").
  
  
@@ -904,11 +882,11 @@ public define HTML_Header_Row($T)
   header_row([],cells).
  
 public define HTML_Header_Row($T)   
-   header_row
-     (
-       HTML_Header_Cell($T) cell
-     ) =
-   header_row([],[cell]). 
+  header_row
+  (
+    HTML_Header_Cell($T) cell
+  ) =
+  header_row([],[cell]). 
  
  
  
@@ -937,12 +915,12 @@ public define Actioner_Aspect
  
  
 public define Actioner_Aspect
-   link
-     (
-       List(Text_Option) options,
-       String text
-     ) =
-   link(options, text, failure). 
+  link
+  (
+    List(Text_Option) options,
+    String text
+  )=
+  link(options, text, failure). 
  
 public define Actioner_Aspect
   link
@@ -997,27 +975,8 @@ public define String
     aural       then  "aural",
     all         then  "all"      
   }.
-  
-
-  .
  
  
-public define CSS_File
-  css_file
-  (
-    String file_name
-  )=
-  css_file(file_name, all).
-  
-
-
-public define JS_File
-  js_file
-  (
-    String file_name
-  ) =
-  js_file(file_name, []).
-
 //public type HTML_Meta:...
  
  
@@ -151,7 +151,10 @@ public type JS_File:
 public type Script:
   script( String script_type,
           String content).
-          
+
+public define JS_File   js_file(String file_name) = js_file(file_name, []).
+public define CSS_File  css_file(String file_name)= css_file(file_name, all).
+
 public type CoreAttrs:...
 public type HTML_Partial_Content:...
 public type HTML_Body:...