.python-27-clock {
    width: 90%;
    margin-right: auto;
    margin-left: auto;
    height: 100px;
}

body {
    font-family: 'Open Sans', sans-serif;
    color: darkgreen;
    background-color: lightyellow;
}

.center-text {
    text-align: center;
}

.center {
    width: 70%;
    margin-right: auto;
    margin-left: auto;
}

.guido-button {
    border: 1px;
    background-color: black;
    color: red;
    border-radius: 5px;
}

.guido-button-block, .guido-button-block > button {
    font-size: 8px;
}
/*
     FILE ARCHIVED ON 08:30:22 Jul 05, 2022 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:23:10 Apr 05, 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.82
  exclusion.robots: 0.054
  exclusion.robots.policy: 0.039
  esindex: 0.013
  cdx.remote: 43.913
  LoadShardBlock: 116.331 (3)
  PetaboxLoader3.datanode: 79.369 (4)
  PetaboxLoader3.resolve: 53.651 (3)
  load_resource: 66.567
*/