player/style.css

   1 /* Possible windows:
   2  * grid
   3  * buffer
   4  *
   5  * Possible selectors:
   6  * normal
   7  * emphasized
   8  * preformatted
   9  * header
  10  * subheader
  11  * alert
  12  * note
  13  * block-quote
  14  * input
  15  * user1
  16  * user2
  17  * hyperlink
  18  *
  19  * Possible style hints:
  20  * font-family (string)
  21  * font-size (float)
  22  * font-weight (normal/bold)
  23  * font-style (normal/italic)
  24  * color (#hex-value)
  25  * background-color (#hex-value)
  26  * text-align (left/right/center)
  27  */
  28 grid {
  29         font-size: 11;
  30         color: #303030;
  31 }
  32
  33 buffer {
  34         color: #303030;
  35         font-size: 11;
  36         margin-bottom: 5;
  37 }
  38
  39 grid.user1 {
  40         color: #303030;
  41         background-color: #ffffff;
  42 }
  43
  44 buffer.emphasized {
  45         font-size: 14;
  46 }
  47
  48 buffer.header {
  49         font-weight: bold;
  50 }
  51
  52 buffer.subheader {
  53         font-weight: bold;
  54 }
  55
  56 buffer.alert {
  57         color: #aa0000;
  58         font-weight: bold;
  59 }
  60
  61 buffer.note {
  62         color: #aaaa00;
  63         font-weight: bold;
  64 }
  65
  66 buffer.block-quote {
  67         text-align: center;
  68         font-style: italic;
  69 }
  70
  71 buffer.input {
  72         color: #0000aa;
  73         font-style: italic;
  74 }
  75
  76 buffer.user1 {
  77 }
  78
  79 buffer.user2 {
  80 }
  81
  82 buffer.pager {
  83         color: #ffffff;
  84         background-color: #303030;
  85 }