view DOCS/default.css @ 35605:71f19d352561

Fix bug with wrong video window size after end of fullscreen playback. (This is a regression introduced in r35572.) The normal size the window should have (media size or configured size) depends on the current state of playback. In order to influence the size, add a boolean parameter. This usually is True unless playback has stopped.

body,table {
  font-family : Arial, Helvetica, sans-serif;
  font-size   : 14px;
  background  : white;
}