anchor.diff:  
      Initialization of Styx, should not be edited
   -----------------------------------------------------------------------------*/
  -{ lib, runCommand, writeText
  +{ texlive
  +, stdenv
   , fetchFromGitHub
  -, styx-themes
  -, texlive
  -, stdenv
   , extraConf ? {}
   }@args:
   
  
positive.code:   devStyx = fetchFromGitHub {
      owner  = "styx-static";
      repo   = "styx";
      rev    = "4a3d603";
      sha256 = "01frvrvrfh3jzsjgqxz4398x0kk1wl44krbagbwr50xvahjmr80a";
    };
  
    styx = import devStyx {};
  
    /* Library loading
    */
    styxLib = import styx.lib (args // { inherit styx; });
  
  
    # Make a block attribute set
  
negative.code: -----------------------------------------------------------------------------*/
  
    # converting pages attribute set to a list
    pageList = lib.localesToPageList {
      inherit locales;
      default = locale: {
        layout  = locale.env.templates.layout;
        body.id = "page-top";
      };
    };
  
    # fetch upstream to generate the documentation
    fetchUpstream = version:
  