index.css 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  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. margin-top: 8px;
  54. }
  55. .jp-LauncherWidget-item {
  56. width: 100px;
  57. height: 100px;
  58. display: flex;
  59. flex-direction: column;
  60. }
  61. .jp-LauncherWidget-image {
  62. flex: 0 0 auto;
  63. margin: 0 auto;
  64. min-height: 72px;
  65. min-width: 56px;
  66. max-width: 56px;
  67. background-size: 56px 72px;
  68. background-repeat: no-repeat;
  69. cursor: pointer;
  70. }
  71. .jp-LauncherWidget-text {
  72. flex: 0 0 auto;
  73. padding-top: 8px;
  74. }
  75. .jp-LauncherWidget-tour {
  76. margin-top: 14px;
  77. height: 14px;
  78. width: 100%;
  79. cursor: pointer;
  80. padding-bottom: 14px;
  81. border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  82. background-position: top center;
  83. background-repeat: no-repeat;
  84. }