Typo in file theme.css. (Not very disturbing though.)

[RobertinoValue]

I'm not using Whiteboard. Just checking it out. I noticed that line 16 of file theme.css contains font-family name platino linotype :

    font-family: palatino,platino linotype,georgia,times,times new roman,serif;

Which probably should be palatino linotype :

    font-family: palatino,palatino linotype,georgia,times,times new roman,serif;