index.css 2.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112
  1. @import url("../static/css/bootstrap.min.css");
  2. html {
  3. font-size:14px
  4. }
  5. body {
  6. color:#666
  7. }
  8. .pannel-select{
  9. position: absolute;
  10. right: 0;
  11. top: 0;
  12. width: 255px;
  13. height: 30px;
  14. }
  15. .reglist_select{
  16. padding: 0 0;
  17. height: 24px;
  18. }
  19. .reg_link{
  20. display: inline-block;
  21. float: right;
  22. text-align: right;
  23. font-size: 12px;
  24. margin-top: 4px;
  25. }
  26. .reg_pre{
  27. border: none;
  28. background: transparent;
  29. }
  30. .reg_reg_input{
  31. resize:none;
  32. }
  33. .reg_textarea{
  34. padding: 0;
  35. width: 100%;
  36. resize: none;
  37. font: 100%"courier new", monospace;
  38. }
  39. #srcWrapper{
  40. padding: 12px;
  41. }
  42. .wrapper #srcBackground{
  43. padding: 0;
  44. }
  45. .mod-regexp {
  46. margin: 0 auto;
  47. padding: 0;
  48. background: #FFF;
  49. }
  50. #srcWrapper {
  51. background:#fff;
  52. border:1px solid #ccc;
  53. min-height:50px;
  54. position:relative;
  55. border-radius: 4px;
  56. -webkit-box-shadow: inset 0 1px 1px rgba(0,0,0,.075);
  57. box-shadow: inset 0 1px 1px rgba(0,0,0,.075);
  58. -webkit-transition: border-color ease-in-out .15s,-webkit-box-shadow ease-in-out .15s;
  59. -o-transition: border-color ease-in-out .15s,box-shadow ease-in-out .15s;
  60. transition: border-color ease-in-out .15s,box-shadow ease-in-out .15s;
  61. }
  62. #srcBackground {
  63. padding:4px;
  64. margin:0;
  65. position:absolute;
  66. z-index:1;
  67. width:100%;
  68. word-break: break-all;
  69. line-height:14px;
  70. }
  71. #srcBackground i, #srcBackground b {
  72. font: 100% "courier new",monospace;
  73. font-style:normal;
  74. font-weight:normal;
  75. font-size:14px;
  76. margin:0;
  77. padding:0;
  78. background:#fff;
  79. color:#fff
  80. }
  81. #srcBackground b {
  82. background:#dd0;
  83. color:#dd0
  84. }
  85. #srcCode {
  86. background:transparent;
  87. margin:0;
  88. border:none;
  89. font-size:14px;
  90. position:relative;
  91. z-index:2;
  92. outline:none;
  93. overflow-y:hidden
  94. }
  95. #rstCount {
  96. color:#f00
  97. }
  98. #rstCode {
  99. padding:3px
  100. }
  101. #regTip {
  102. font-size:12px;
  103. color:#d00;
  104. display:none
  105. }
  106. .x-tip {
  107. font-size:12px;
  108. color:#00b
  109. }