PageRenderTime 32ms CodeModel.GetById 0ms RepoModel.GetById 0ms app.codeStats 0ms

/www/tags/NOV_07_2009/htdocs/stylesheet.css

#
CSS | 99 lines | 91 code | 8 blank | 0 comment | 0 complexity | cb14c255c5dd3fc11d11ec431614b907 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. body {
  2. margin-left: 0px;
  3. margin-top: 0px;
  4. margin-right: 0px;
  5. margin-bottom: 0px;
  6. background-color: #EEEEEE;
  7. }
  8. .download_text {
  9. font-family: Arial, Helvetica, sans-serif;
  10. font-size: large;
  11. color: #666666;
  12. }
  13. .hilite {
  14. font-weight: bold;
  15. }
  16. .ick {
  17. outline-color: invert;
  18. outline-style: ridge;
  19. outline-width: thin;
  20. display: run-in;
  21. float: right;
  22. color: red;
  23. }
  24. a:link {
  25. text-decoration: none;
  26. }
  27. a:visited {
  28. text-decoration: none;
  29. }
  30. a:hover {
  31. text-decoration: underline;
  32. }
  33. a:active {
  34. text-decoration: none;
  35. }
  36. .header_text {
  37. font-family: Arial, Helvetica, sans-serif;
  38. font-size: small;
  39. color: #666666;
  40. margin: 3px;
  41. }
  42. .menu_links {
  43. font-family: Arial, Helvetica, sans-serif;
  44. font-size: small;
  45. color: #666666;
  46. }
  47. .menu_headings {
  48. font-family: Arial, Helvetica, sans-serif;
  49. font-size: small;
  50. color: #FFFFFF;
  51. font-weight: bold;
  52. }
  53. .body_text {
  54. font-family: Arial, Helvetica, sans-serif;
  55. font-size: small;
  56. }
  57. .screenshot {
  58. float: left;
  59. margin: 0px 9px 9px 0px;
  60. }
  61. .download {
  62. float: right;
  63. }
  64. div.plugin-list-item
  65. {
  66. padding-bottom: 10px;
  67. }
  68. div.plugin-name
  69. {
  70. font-weight: bold;
  71. }
  72. div.plugin-summary
  73. {
  74. padding: 3px;
  75. border: solid black 1px;
  76. background: white;
  77. }
  78. div.plugin-branch
  79. {
  80. padding-top: 3px;
  81. padding-left: 10px;
  82. }
  83. span.plugin-date
  84. {
  85. font-size: smaller;
  86. }
  87. div.plugin-detail-link
  88. {
  89. font-size: smaller;
  90. text-align: right;
  91. }