main.css 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. .mickaSearch {
  2. max-height: 500px;
  3. min-height: 100px;
  4. font-size: 80%;
  5. padding: 0px;
  6. overflow-y: auto;
  7. font-weight: normal;
  8. color: #333333;
  9. white-space: nowrap;
  10. overflow-x: auto;
  11. }
  12. .mickaSearch-float-wrapper {
  13. position: fixed !important;
  14. top: 120px;
  15. width:350px;
  16. max-width:800px;
  17. right: 20px;
  18. border: thin solid rgba(0, 0, 0, 0.38);
  19. border-radius: 5px;
  20. padding:10px;
  21. background-color: #fff;
  22. opacity: .95;
  23. z-index: 100;
  24. overflow: hidden;
  25. }
  26. .hide-btn{
  27. float: right;
  28. }
  29. .reload-btn{
  30. float: right;
  31. }
  32. .kill-btn{
  33. float: right;
  34. }
  35. .col-md-9 {
  36. overflow:hidden;
  37. margin-left: 14%;
  38. width: 80%}
  39. #mickaSearch-wrapper.closed {
  40. min-width: 250px;
  41. width: auto;
  42. transition: width;
  43. }
  44. #mickaSearch-wrapper:hover{
  45. opacity: 1;
  46. }
  47. #mickaSearch-wrapper .header {
  48. font-size: 16px;
  49. font-weight: bold;
  50. }
  51. #mickaSearch-wrapper .hide-btn {
  52. font-size: 14px;
  53. font-family: monospace;
  54. }
  55. #mickaSearch-wrapper .reload-btn {
  56. font-size: 14px;
  57. font-family: monospace;
  58. }
  59. #mickaSearch-wrapper .kill-btn {
  60. font-size: 14px;
  61. font-family: monospace;
  62. }
  63. /* don't waste so much screen space... */
  64. #mickaSearch-wrapper .toc-item{
  65. padding-left: 20px;
  66. }
  67. #mickaSearch-wrapper .toc-item .toc-item{
  68. padding-left: 10px;
  69. }
  70. table.table, table.table tr, table.table td, table.table th {
  71. border: 0;
  72. }
  73. table.table-nonfluid {
  74. width: auto !important;
  75. }
  76. table.table {
  77. margin-left: 0;
  78. margin-right: 0;
  79. }
  80. details > details {
  81. margin-left: 1em;
  82. }