flowreplay.css 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172
  1. /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
  2. .MATH { font-family: "Century Schoolbook", serif; }
  3. .MATH I { font-family: "Century Schoolbook", serif; font-style: italic }
  4. .BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
  5. /* implement both fixed-size and relative sizes */
  6. SMALL.XTINY { font-size : xx-small }
  7. SMALL.TINY { font-size : x-small }
  8. SMALL.SCRIPTSIZE { font-size : smaller }
  9. SMALL.FOOTNOTESIZE { font-size : small }
  10. SMALL.SMALL { }
  11. BIG.LARGE { }
  12. BIG.XLARGE { font-size : large }
  13. BIG.XXLARGE { font-size : x-large }
  14. BIG.HUGE { font-size : larger }
  15. BIG.XHUGE { font-size : xx-large }
  16. /* heading styles */
  17. H1 { }
  18. H2 { }
  19. H3 { }
  20. H4 { }
  21. H5 { }
  22. /* mathematics styles */
  23. DIV.displaymath { } /* math displays */
  24. TD.eqno { } /* equation-number cells */
  25. /* document-specific styles come next */
  26. DIV.quote { }
  27. DIV.navigation { }
  28. DIV.center { }
  29. SPAN.arabic { }
  30. SPAN.textit { font-style: italic }
  31. #hue101 { color: #000000; }
  32. #hue103 { color: #000000; }
  33. #hue105 { color: #000000; }
  34. #hue107 { color: #000000; }
  35. #hue109 { color: #000000; }
  36. #hue111 { color: #000000; }
  37. #hue113 { color: #000000; }
  38. #hue115 { color: #000000; }
  39. #hue118 { color: #000000; }
  40. #hue120 { color: #000000; }
  41. #hue122 { color: #000000; }
  42. #hue124 { color: #000000; }
  43. #hue127 { color: #000000; }
  44. #hue129 { color: #000000; }
  45. #hue134 { color: #000000; }
  46. #hue136 { color: #000000; }
  47. #hue140 { color: #000000; }
  48. #hue142 { color: #000000; }
  49. #hue144 { color: #000000; }
  50. #hue147 { color: #000000; }
  51. #hue151 { color: #000000; }
  52. #hue154 { color: #000000; }
  53. #hue158 { color: #000000; }
  54. #hue160 { color: #000000; }
  55. #hue163 { color: #000000; }
  56. #hue165 { color: #000000; }
  57. #hue167 { color: #000000; }
  58. #hue169 { color: #000000; }
  59. #hue171 { color: #000000; }
  60. #hue174 { color: #000000; }
  61. #hue176 { color: #000000; }
  62. #hue178 { color: #000000; }
  63. #hue180 { color: #000000; }
  64. #hue182 { color: #000000; }
  65. #hue185 { color: #000000; }
  66. #hue187 { color: #000000; }
  67. #hue189 { color: #000000; }
  68. #hue191 { color: #000000; }
  69. #hue194 { color: #000000; }
  70. #hue196 { color: #000000; }
  71. #hue198 { color: #000000; }
  72. #hue201 { color: #000000; }
  73. #hue203 { color: #000000; }
  74. #hue205 { color: #000000; }
  75. #hue208 { color: #000000; }
  76. #hue211 { color: #000000; }
  77. #hue213 { color: #000000; }
  78. #hue216 { color: #000000; }
  79. #hue219 { color: #000000; }
  80. #hue221 { color: #000000; }
  81. #hue232 { color: #000000; }
  82. #hue234 { color: #000000; }
  83. #hue239 { color: #000000; }
  84. #hue241 { color: #000000; }
  85. #hue248 { color: #000000; }
  86. #hue251 { color: #000000; }
  87. #hue253 { color: #000000; }
  88. #hue257 { color: #000000; }
  89. #hue259 { color: #000000; }
  90. #hue261 { color: #000000; }
  91. #hue264 { color: #000000; }
  92. #hue266 { color: #000000; }
  93. #hue268 { color: #000000; }
  94. #hue275 { color: #000000; }
  95. #hue277 { color: #000000; }
  96. #hue281 { color: #000000; }
  97. #hue283 { color: #000000; }
  98. #hue285 { color: #000000; }
  99. #hue289 { color: #000000; }
  100. #hue291 { color: #000000; }
  101. #hue293 { color: #000000; }
  102. #hue300 { color: #000000; }
  103. #hue310 { color: #000000; }
  104. #hue312 { color: #000000; }
  105. #hue315 { color: #000000; }
  106. #hue317 { color: #000000; }
  107. #hue319 { color: #000000; }
  108. #hue322 { color: #000000; }
  109. #hue325 { color: #000000; }
  110. #hue327 { color: #000000; }
  111. #hue329 { color: #000000; }
  112. #hue33 { color: #000000; }
  113. #hue331 { color: #000000; }
  114. #hue333 { color: #000000; }
  115. #hue336 { color: #000000; }
  116. #hue339 { color: #000000; }
  117. #hue341 { color: #000000; }
  118. #hue343 { color: #000000; }
  119. #hue345 { color: #000000; }
  120. #hue347 { color: #000000; }
  121. #hue349 { color: #000000; }
  122. #hue35 { color: #000000; }
  123. #hue366 { color: #000000; }
  124. #hue367 { color: #000000; }
  125. #hue37 { color: #000000; }
  126. #hue376 { color: #000000; }
  127. #hue378 { color: #000000; }
  128. #hue380 { color: #000000; }
  129. #hue384 { color: #000000; }
  130. #hue385 { color: #000000; }
  131. #hue386 { color: #000000; }
  132. #hue387 { color: #000000; }
  133. #hue388 { color: #000000; }
  134. #hue39 { color: #000000; }
  135. #hue390 { color: #000000; }
  136. #hue391 { color: #000000; }
  137. #hue393 { color: #000000; }
  138. #hue395 { color: #000000; }
  139. #hue397 { color: #000000; }
  140. #hue398 { color: #000000; }
  141. #hue399 { color: #000000; }
  142. #hue400 { color: #000000; }
  143. #hue41 { color: #000000; }
  144. #hue44 { color: #000000; }
  145. #hue46 { color: #000000; }
  146. #hue48 { color: #000000; }
  147. #hue50 { color: #000000; }
  148. #hue52 { color: #000000; }
  149. #hue54 { color: #000000; }
  150. #hue56 { color: #000000; }
  151. #hue59 { color: #000000; }
  152. #hue61 { color: #000000; }
  153. #hue63 { color: #000000; }
  154. #hue65 { color: #000000; }
  155. #hue67 { color: #000000; }
  156. #hue69 { color: #000000; }
  157. #hue75 { color: #000000; }
  158. #hue78 { color: #000000; }
  159. #hue81 { color: #000000; }
  160. #hue83 { color: #000000; }
  161. #hue85 { color: #000000; }
  162. #hue87 { color: #000000; }
  163. #hue89 { color: #000000; }
  164. #hue91 { color: #000000; }
  165. #hue94 { color: #000000; }
  166. #hue96 { color: #000000; }
  167. #hue98 { color: #000000; }