<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body { font-family: sans-serif; background: white; color: black }

.available { font-weight: bold; color: #000000; background-color: #90ee90; }	/* black on light green */
.playerJustTook { font-weight: bold; color: #a52a2a; background-color: #f0f000; }	/* brown on bright yellow */
.playerTook { font-weight: bold; color: #000000; background-color: #d0d000; }	/* dark yellow */
.taxmanJustTook { font-weight: bold; color: #ffffff; background-color: #ff0000; }	/* white on bright red */
.taxmanTook { font-weight: bold; color: #a020f0; background-color: #ffc0cb; }	/* purple on pink */
.unpickable { font-weight: bold; color: #000000; background-color: #d0d0d0; }	/* black on light gray */
.leftover { font-weight: bold; background-color: #d09ca6; }	/* dark pink */


#numberListDiv { font-size: xx-large; }

#statusBox { color: #ff0000; font-weight: bold; font-size: xx-large; }  

#restartButton.startState { color: #000000; background-color: #d0d0d0; } /* black on gray*/
#restartButton.endState { color: #ffffff; background-color: #ffa500; } /* white on orange */

.rightAlignBox { max-width: 20em; text-align: right }


</pre></body></html>