Gnome Inform 7

For all those who have this problem with dark gtk2 color schemes and
gnome-inform7, you can make gi7 explicitly use a light color scheme by
creating a little script somewhere in your $PATH (i.e. ~/bin/gi7):

#!/bin/sh

GTK2_RC_FILES=/usr/share/themes/Clearlooks gnome-inform7

This way you should be able to read the documentation.

I'm looking forward to the development version, that's for sure :)

You are right about the cursor color, it was a bug in the color scheme I
used.

I understand that you don't want to distribute two versions of the
documentation, that would be quite a hack indeed. I wrote Graham a mail
about the HTML files, maybe he will find the time to change his
documentation generator to a CSS-based approach.

In the development version that you must be tired of hearing about by now,
you can use any color scheme installed on your system in the Source panel.
Basically any color scheme that you can pick in Gedit's preferences, plus
the traditional Inform schemes. The Game panel will also respect the
desktop theme-- this isn't implemented yet but it's planned.

The cursor color seems to depend on your desktop theme. I only have one
light-on-dark theme installed on my system, and it makes the cursor blue on
white in the Source panel.

The documentation remains a problem. I have had many requests from users
on this subject. The HTML files are generated automatically from a master
documentation file, but the tool that Graham Nelson wrote for this task has
not been released as open source yet. I'm not going to distribute two
versions of the documentation because it would almost double the size of
the download. I know little about HTML and nothing about CSS, but shouldn't
it be possible to change the color scheme of the documentation with a CSS
file? You might try reporting this issue to Graham Nelson. In the meantime,
I will think about possible solutions.