3 background-color: #d6d6d6;
4 font-family: Calibri, sans-serif;
10 text-decoration: none;
14 background-color: #fccb51;
15 border: 7px solid darkorange;
36 /* hidden, and then toggled, from Javascript. */
37 border: 1px solid transparent;
38 /* without this invisible border there is a jump at the end of the
45 text-decoration: none;