/*
  Debug:
  ------
  bucket:   2025-10-17 20:04:00
  now:      2025-10-17 20:04:32
  secs:     32 of 60
  base hue: 0.53333333333333
 */

html { background-color: #79daf2; }

body { color: #badde6; background-color: #004680; }

h1 { color: #3dcef2; border-bottom: 1px solid #3dcef2; }

div.project { border-color: #3dcef2; background-color: #206c80; }

div.project:hover { background-color: #007db3; }

a { color: #badde6; }

a:hover { color: #eaf9fc;}

h2 a { color: #badde6; }
h2 a:hover { color: #eaf9fc; }

.applet { border: 2px solid #3dcef2; }