body { 
  background: url("https://media.giphy.com/media/3ov9jDxDW3r8nJ4ZA4/giphy.gif");
}

/*
_______________________________________________________________

(To read, see https://e2h.totalism.org/e2h.php?_=CSS-default )


/************************************/
/* *** BUTTONS **/


/* david 20190930 : CENTERING IMAGE */

img {
  display: block;
  margin-left: auto;
  margin-right: auto;


  border: 3px black solid;

}


h1 {
    padding: 8px 25px 8px 25px;
    display: inline;
    text-decoration: none !important;

    background: white;
    background: var(--BTb, white) !important;

    color: black;
    color: var(--BTf, #111) !important;

    border: 3px solid black;
    border: 3px solid #111;

    border-color: var(--BTx, black) !important;
    border-color: var(--BTx, #666) !important;
}
h1 a {
    /* why this does not work !!! TODO */
    text-decoration: none !important;
}


/* TODO: colour this too */
h1:hover {
    background: gray !important;
    color: white !important;
}





/************************************/
/* *** TITLES **/

strong em u {

/*
    background: white !important;
    color: black !important;
    opacity: 0.85;
#TODO: bring this back ???
text-shadow: 3px 3px 3px #red !important;
*/

    letter-spacing: 10px;
    padding: 8px;

    line-height: 180%;

/* set this to important 20190730, hope it solves the "title became small" bugs! */
    font-size: 180% !important;

    margin: 0px !important;
    background: var(--Tb, var(--At, var(--A, #111))) !important;

    color: var(--Tf, var(--Af, var(--Afg, var(--FG, white)))) !important;
//    text-decoration-color: blue !important;
}










/************************************/
/* *** LINKS */

a:link {
    color: #FF00FF;
    color: var(--L) !important;
}

a:visited {
    font-style: italic;

    color: #009c9C;
    color: #00AACC;
    color: var(--L) !important;
}

a:hover {
    font-weight: bold;
    color: var(--LH) !important;
    background: var(--LHb) !important;
}





text {
    font-size: 18px;
    font-family: "Ubuntu Mono" !important;
    font-family: "Georgia" !important;
    font-family: sans-serif !important;
    font-family: "Georgia" !important;
    font-family: helvetica !important;

/* disable italic */
    font-style: normal !important;
    
    font-size: 13.5px;
    font-weight: bold;
/*
    stroke: #444;
    stroke: black;
*/
}