function f-flip ()
{
# Play with colours...

# Define some schemes...
standard ()
{
	
	fig-col ()
		{
		bold
		magenta
		}
	head-col ()
		{
		bold
		cyan
		}
	info-col ()
		{
		bold
		white
		}
}

gringold ()
{

	fig-col ()
		{
		bold
		green
		}
	head-col ()
		{
		bold
		yellow
		}
	info-col ()
		{
		bold
		white
		}

}

trad ()
{
	fig-col ()
		{
		bold
		yellow
		}
	head-col ()
		{
		bold
		white
		}
	info-col ()
		{
		unbold
		white
		}
}

mono ()
{
	fig-col ()
		{
		unbold
		white
		}
	head-col ()
		{
		bold
		white
		}
	info-col ()
		{
		unbold
		white
		}
}

cool ()
{
	fig-col ()
		{
		bold
		cyan
		}
	head-col ()
		{
		bold
		blue
		}
	info-col ()
		{
		unbold
		cyan
		}
}

uncool ()
{
	fig-col ()
		{
		bold
		yellow
		}
	head-col ()
		{
		bold
		red
		}
	info-col ()
		{
		bold
		yellow
		}
}

ice ()
{
	fig-col ()
		{
		bold
		cyan
		}
	head-col ()
		{
		bold
		white
		}
	info-col ()
		{
		unbold
		white
		}
}

glowcave ()
{
	fig-col ()
		{
		bold
		blue
		}
	head-col ()
		{
		bold
		cyan
		}
	info-col ()
		{
		bold
		white
		}
}

CURRENT="foo"
f-switch
}