PageRenderTime 50ms CodeModel.GetById 17ms RepoModel.GetById 1ms app.codeStats 0ms

/www/trunk/htdocs/styles.css

#
CSS | 86 lines | 80 code | 6 blank | 0 comment | 0 complexity | acad30019a6a98e5f759e3360a09b62d 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. 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. }