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 }
  31
  32 buffer {
  33         color: #303030;
  34         font-size: 11;
  35         margin-bottom: 5;
  36 }
  37
  38 grid.user1 {
  39         color: #303030;
  40         background-color: #ffffff;
  41 }
  42
  43 buffer.emphasized {
  44         font-size: 14;
  45 }
  46
  47 buffer.header {
  48         font-weight: bold;
  49 }
  50
  51 buffer.subheader {
  52         font-weight: bold;
  53 }
  54
  55 buffer.alert {
  56         color: #aa0000;
  57         font-weight: bold;
  58 }
  59
  60 buffer.note {
  61         color: #aaaa00;
  62         font-weight: bold;
  63 }
  64
  65 buffer.block-quote {
  66         text-align: center;
  67         font-style: italic;
  68 }
  69
  70 buffer.input {
  71         color: #0000aa;
  72         font-style: italic;
  73 }
  74
  75 buffer.user1 {
  76 }
  77
  78 buffer.user2 {
  79 }
  80
  81 buffer.pager {
  82         color: #ffffff;
  83         background-color: #303030;
  84 }