designstyle.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  1. body {
  2. background-color: #ffffff;
  3. color: black;
  4. margin-right: 1in;
  5. margin-left: 1in;
  6. }
  7. h1, h2, h3, h4, h5, h6 {
  8. color: #3366ff;
  9. font-family: sans-serif;
  10. }
  11. @media print {
  12. /* Darker version for printing */
  13. h1, h2, h3, h4, h5, h6 {
  14. color: #000080;
  15. font-family: helvetica, sans-serif;
  16. }
  17. }
  18. h1 {
  19. text-align: center;
  20. font-size: 18pt;
  21. }
  22. h2 {
  23. margin-left: -0.5in;
  24. }
  25. h3 {
  26. margin-left: -0.25in;
  27. }
  28. h4 {
  29. margin-left: -0.125in;
  30. }
  31. hr {
  32. margin-left: -1in;
  33. }
  34. /* Definition lists: definition term bold */
  35. dt {
  36. font-weight: bold;
  37. }
  38. address {
  39. text-align: right;
  40. }
  41. /* Use the <code> tag for bits of code and <var> for variables and objects. */
  42. code,pre,samp,var {
  43. color: #006000;
  44. }
  45. /* Use the <file> tag for file and directory paths and names. */
  46. file {
  47. color: #905050;
  48. font-family: monospace;
  49. }
  50. /* Use the <kbd> tag for stuff the user should type. */
  51. kbd {
  52. color: #600000;
  53. }
  54. div.note p {
  55. float: right;
  56. width: 3in;
  57. margin-right: 0%;
  58. padding: 1px;
  59. border: 2px solid #6060a0;
  60. background-color: #fffff0;
  61. }
  62. UL.nobullets {
  63. list-style-type: none;
  64. list-style-image: none;
  65. margin-left: -1em;
  66. }
  67. /* pretty printing styles. See prettify.js */
  68. .str { color: #080; }
  69. .kwd { color: #008; }
  70. .com { color: #800; }
  71. .typ { color: #606; }
  72. .lit { color: #066; }
  73. .pun { color: #660; }
  74. .pln { color: #000; }
  75. .tag { color: #008; }
  76. .atn { color: #606; }
  77. .atv { color: #080; }
  78. pre.prettyprint { padding: 2px; border: 1px solid #888; }
  79. .embsrc { background: #eee; }
  80. @media print {
  81. .str { color: #060; }
  82. .kwd { color: #006; font-weight: bold; }
  83. .com { color: #600; font-style: italic; }
  84. .typ { color: #404; font-weight: bold; }
  85. .lit { color: #044; }
  86. .pun { color: #440; }
  87. .pln { color: #000; }
  88. .tag { color: #006; font-weight: bold; }
  89. .atn { color: #404; }
  90. .atv { color: #060; }
  91. }
  92. /* Table Column Headers */
  93. .hdr {
  94. color: #006;
  95. font-weight: bold;
  96. background-color: #dddddd; }
  97. .hdr2 {
  98. color: #006;
  99. background-color: #eeeeee; }