/www/trunk/htdocs/styles.css

# · CSS · 86 lines · 80 code · 6 blank · 0 comment · 0 complexity · acad30019a6a98e5f759e3360a09b62d MD5 · raw file

  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. a:link {
  14. text-decoration: none;
  15. }
  16. a:visited {
  17. text-decoration: none;
  18. }
  19. a:hover {
  20. text-decoration: underline;
  21. }
  22. a:active {
  23. text-decoration: none;
  24. }
  25. .header_text {
  26. font-family: Arial, Helvetica, sans-serif;
  27. font-size: small;
  28. color: #666666;
  29. margin: 3px;
  30. }
  31. .menu_links {
  32. font-family: Arial, Helvetica, sans-serif;
  33. font-size: small;
  34. color: #666666;
  35. }
  36. .menu_headings {
  37. font-family: Arial, Helvetica, sans-serif;
  38. font-size: small;
  39. color: #FFFFFF;
  40. font-weight: bold;
  41. }
  42. .body_text {
  43. font-family: Arial, Helvetica, sans-serif;
  44. font-size: small;
  45. }
  46. .screenshot {
  47. float: left;
  48. margin: 0px 9px 9px 0px;
  49. }
  50. .download {
  51. float: right;
  52. }
  53. div.plugin-list-item
  54. {
  55. padding-bottom: 10px;
  56. }
  57. div.plugin-name
  58. {
  59. font-weight: bold;
  60. }
  61. div.plugin-summary
  62. {
  63. padding: 3px;
  64. border: solid black 1px;
  65. background: rgb(240,240,255);
  66. }
  67. div.plugin-branch
  68. {
  69. padding-top: 3px;
  70. padding-left: 10px;
  71. }
  72. span.plugin-date
  73. {
  74. font-size: smaller;
  75. }
  76. div.plugin-detail-link
  77. {
  78. font-size: smaller;
  79. text-align: right;
  80. }