index.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. .jp-LauncherWidget {
  6. background: var(--jp-layout-color1);
  7. display: flex;
  8. flex-direction: column;
  9. flex-wrap: wrap;
  10. align-items: center;
  11. margin: 0;
  12. padding: 0;
  13. }
  14. .jp-LauncherWidget-dialog {
  15. padding-bottom: 12px;
  16. font-size: var(--jp-ui-font-size1);
  17. color: var(--jp-ui-font-color1);
  18. margin-left: auto;
  19. margin-right: auto;
  20. text-align: center;
  21. display: flex;
  22. align-items: center;
  23. flex-direction: column;
  24. flex-wrap: wrap;
  25. }
  26. .jp-LauncherWidget-logo {
  27. flex: 0 0 50px;
  28. margin-left: auto;
  29. margin-right: auto;
  30. width: 100%;
  31. background-color: var(--jp-layout-color1);
  32. background-size: 232px 50px;
  33. background-repeat: no-repeat;
  34. background-position: center;
  35. margin-top: 20px;
  36. }
  37. .jp-LauncherWidget-subtitle {
  38. background-color: var(--jp-layout-color1);
  39. font-size: var(--jp-ui-font-size2);
  40. width: 100%;
  41. margin-top: 4px;
  42. font-weight: 300;
  43. }
  44. .jp-LauncherWidget-header {
  45. padding-top: 16px;
  46. padding-bottom: 4px;
  47. }
  48. .jp-LauncherWidget-body {
  49. width: 100%;
  50. display: flex;
  51. flex-wrap: wrap;
  52. flex-direction: row;
  53. }
  54. .jp-LauncherWidget-item {
  55. width: 100px;
  56. height: 100px;
  57. display: flex;
  58. flex-direction: column;
  59. }
  60. .jp-LauncherWidget-image {
  61. flex: 0 0 auto;
  62. margin: 0 auto;
  63. min-height: 72px;
  64. min-width: 56px;
  65. max-width: 56px;
  66. background-size: 56px 72px;
  67. background-repeat: no-repeat;
  68. cursor: pointer;
  69. }
  70. .jp-LauncherWidget-text {
  71. flex: 0 0 auto;
  72. padding-top: 8px;
  73. }
  74. .jp-LauncherWidget-tour {
  75. margin-top: 14px;
  76. height: 14px;
  77. width: 100%;
  78. cursor: pointer;
  79. padding-bottom: 14px;
  80. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  81. background-position: top center;
  82. background-repeat: no-repeat;
  83. }
  84. .jp-LauncherWidget-folder {
  85. margin-right: 0;
  86. display: inline-block;
  87. background-origin: content-box;
  88. background-repeat: no-repeat;
  89. clear: none;
  90. padding-left: 12px;
  91. height: 1em;
  92. width: 1em;
  93. line-height: 1em;
  94. }
  95. .jp-LauncherWidget-folder:empty:before {
  96. content: "\00a0";
  97. }
  98. .jp-LauncherWidget-path {
  99. padding-left: 8px;
  100. color: var(--jp-ui-font-color2);
  101. }
  102. .jp-LauncherWidget-cwd {
  103. float: left;
  104. padding-top: 14px;
  105. margin-right: auto;
  106. }