/*
  Debug:
  ------
  bucket:   2025-08-31 16:19:00
  now:      2025-08-31 16:19:43
  secs:     43 of 60
  base hue: 0.71666666666667
 */

html { background-color: #9d79f2; }

body { color: #c7bae6; background-color: #000080; }

h1 { color: #733df2; border-bottom: 1px solid #733df2; }

div.project { border-color: #733df2; background-color: #3d2080; }

div.project:hover { background-color: #0000b3; }

a { color: #c7bae6; }

a:hover { color: #efeafc;}

h2 a { color: #c7bae6; }
h2 a:hover { color: #efeafc; }

.applet { border: 2px solid #733df2; }