.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 03:14:24 Jul 21, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:58:50 Oct 03, 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.523
  exclusion.robots: 0.044
  exclusion.robots.policy: 0.032
  esindex: 0.007
  cdx.remote: 34.846
  LoadShardBlock: 241.435 (3)
  PetaboxLoader3.datanode: 197.863 (4)
  load_resource: 638.785
  PetaboxLoader3.resolve: 388.128
*/