:root {
    --main-text: rgba(0 ,0 ,0 , 0.8);
    --main-background: rgba(0, 0, 0, 0.05);
    
    --anchor: rgba(0, 0 , 0 , 0.6);

    --button: #EEE;
    --button-highlight: #FFF;
    --button-background: rgba(0, 0 , 0 , 0.6);
    --button-background-highlight: rgba(0, 0 , 0 , 0.8);
    --button-disabled: #CCC;
    
    --nav-text: #FFF;
    --nav-background: rgba(0, 0 , 0 , 0.8);

    --widget-shadow: rgba(0, 0 , 0 ,0.3);
    --widget-background: #FFF;

    --error-text: #F00;
    --error-background: #F00;
    --success-text: #48D514;
    --success-background: #59E625;
    --notice-text: #3366FF;
    --warning-text: #FF9900;

    --bokeh-event: #0050C7;
    --bokeh-event-highlight: #6AA5FF;

    --separator: rgba(0 ,0 ,0 , 0.6);
    --even-line-highlight: rgba(0, 0, 0, 0.05);
    --line-highlight: rgba(0, 0, 0, 0.15);
    --line-locked-highlight: rgba(0, 0 , 0 , 0.5);

    --border-highlight: rgba(0, 0 , 0 , 0.8);
    --transparent-border: transparent;

    --clear-background: none;

    --config-shortcut: #ffA500;
    --config-shortcut-highlight: #ffb500;

    --help-link: #6FCFFF;
    --help-link-highlight: #6FBFFF;

    --current-version-background: rgba(0, 255, 0, 0.33);
    --previous-version-background: rgba(255, 0, 0, 0.33);

    --edition-background: rgba(255, 255, 0, 0.5);
}

/*
     FILE ARCHIVED ON 22:10:37 Jul 08, 2022 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 06:14:30 Aug 01, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.457
  exclusion.robots: 0.048
  exclusion.robots.policy: 0.039
  esindex: 0.008
  cdx.remote: 11.101
  LoadShardBlock: 303.044 (3)
  PetaboxLoader3.datanode: 111.385 (5)
  PetaboxLoader3.resolve: 393.151 (2)
  load_resource: 450.296
  loaddict: 92.953
*/