annotate DOCS/default.css @ 36287:3a1b89dc7070

Place GUI_HANDLE_EVENTS calls after GUI_REDRAW calls. The redraw will generate events, which should be handled afterwards (if already in the event queue).
author ib
date Thu, 01 Aug 2013 17:12:26 +0000
parents 0ad2da052b2e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 6986
diff changeset
1 body,table {
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 6986
diff changeset
2 font-family : Arial, Helvetica, sans-serif;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 6986
diff changeset
3 font-size : 14px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 6986
diff changeset
4 background : white;
6390
e2a5d7b501ff default style
gabucino
parents:
diff changeset
5 }