Index of /user_guide/_static

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      jquery-3.1.0.js         2021-08-18 23:24  258K  
      jquery.js               2021-08-18 23:24   84K  
      underscore-1.3.1.js     2021-08-18 23:24   34K  
      searchtools.js          2021-08-18 23:24   25K  
      websupport.js           2021-08-18 23:24   25K  
      underscore.js           2021-08-18 23:24   12K  
      basic.css               2021-08-18 23:24   10K  
      doctools.js             2021-08-18 23:24  8.0K  
      ci-icon.ico             2021-08-18 23:24  5.3K  
      pygments.css            2021-08-18 23:24  3.8K  
      comment-close.png       2021-08-18 23:24  829   
      comment-bright.png      2021-08-18 23:24  756   
      ajax-loader.gif         2021-08-18 23:24  673   
      comment.png             2021-08-18 23:24  641   
      file.png                2021-08-18 23:24  286   
      down-pressed.png        2021-08-18 23:24  222   
      up-pressed.png          2021-08-18 23:24  214   
      up.png                  2021-08-18 23:24  203   
      down.png                2021-08-18 23:24  202   
      plus.png                2021-08-18 23:24   90   
      minus.png               2021-08-18 23:24   90   
      js/                     2021-08-18 23:24    -   
      images/                 2021-08-18 23:24    -   
      fonts/                  2021-08-18 23:24    -   
      css/                    2021-08-18 23:24    -