jscoverage-ie.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108
  1. /*
  2. jscoverage-ie.css - JSCoverage style sheet for Internet Explorer
  3. Copyright (C) 2007, 2008, 2009, 2010 siliconforks.com
  4. This program is free software; you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation; either version 2 of the License, or
  7. (at your option) any later version.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License along
  13. with this program; if not, write to the Free Software Foundation, Inc.,
  14. 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  15. */
  16. #headingDiv {
  17. position: static;
  18. margin-left: 10px;
  19. margin-right: 10px;
  20. padding-top: 0.5em;
  21. }
  22. #tabs {
  23. clear: all;
  24. position: static;
  25. top: auto;
  26. left: auto;
  27. right: auto;
  28. height: auto;
  29. margin-left: 10px;
  30. margin-right: 10px;
  31. }
  32. #tabs div {
  33. position: relative;
  34. height: auto;
  35. line-height: normal;
  36. padding-top: 5px;
  37. padding-bottom: 5px;
  38. }
  39. #tabs div.selected {
  40. padding-bottom: 6px;
  41. z-index: 2;
  42. }
  43. .TabPage {
  44. position: relative;
  45. top: -1px;
  46. left: auto;
  47. right: auto;
  48. bottom: auto;
  49. clear: left;
  50. margin-left: 10px;
  51. margin-right: 10px;
  52. padding: 10px;
  53. z-index: 1;
  54. }
  55. #locationDiv {
  56. margin-bottom: 10px;
  57. }
  58. #iframeDiv {
  59. position: static;
  60. width: 100%;
  61. }
  62. #summaryDiv {
  63. position: static;
  64. width: 100%;
  65. }
  66. #fileDiv {
  67. margin-bottom: 10px;
  68. }
  69. #sourceDiv {
  70. position: static;
  71. width: 100%;
  72. }
  73. #storeDiv {
  74. position: static;
  75. width: 100%;
  76. }
  77. /* some defaults */
  78. .TabPage {
  79. height: 650px;
  80. }
  81. #iframeDiv {
  82. height: 600px;
  83. }
  84. #summaryDiv {
  85. height: 600px;
  86. }
  87. #sourceDiv {
  88. height: 600px;
  89. }