1
/*
2
 *  This file is part of CoCalc: Copyright © 2020 Sagemath, Inc.
3
 *  License: MS-RSL – see LICENSE.md for details
4
 */
5

6
@use 'colors'
7

8
// There is a bootstrap css that is setting font-weight for label to 700. This
9
// sets the font-weight back to the normal default:
10
label
11
  font-weight: normal
12

13
// See https://github.com/twitter/bootstrap/issues/2764
14

15
.nav-tabs > .disabled > a, .nav-pills > .disabled > a
16
  color  : #999
17
  cursor : pointer
18
  border : none
19
  // add this for tabs/pills *
20

21
.nav-tabs > .disabled > a:hover,
22
.nav-pills > .disabled > a:hover
23
  background-color : transparent
24

25
// Bootstrap changes the background color and puts a border around any pre.
26
// This is annoying, especially because, e.g., the @uiw/react-textarea-code-editor
27
// code editor uses a pre.
28
pre
29
  border: inherit
30
  background: inherit
31

32

33
.smc-toggle-show
34
  border-bottom : 1px solid grey
35

36
#cocalc-idle-notification
37
  z-index    : 9999
38
  position   : fixed
39
  margin     : 0
40
  padding    : 0
41
  top        : 0
42
  bottom     : 0
43
  left       : 0
44
  right      : 0
45
  background : rgba(150, 150, 150, 0.5)
46
  cursor     : pointer
47
  div
48
    color            : white
49
    position         : absolute
50
    background-color : colors.$COL_BLUE_D
51
    min-height       : 100px
52
    width            : 350px
53
    border-radius    : 5px
54
    padding          : 15px
55
    text-align       : center
56
    position         : absolute
57
    margin           : auto
58
    top              : 100px
59
    left             : 0
60
    right            : 0
61
    cursor           : pointer
62
    h1, h2, h3, h4
63
      color     : white
64
    h1, h2
65
      font-size : 22px
66
    h3
67
      font-size : 20px
68
    h4
69
      font-size : 16px
70
    img.logo-square,
71
    img.logo-rectangular
72
      display: block
73
      margin : 0 auto 10px auto
74
      padding: 0
75
    img.logo-square
76
      width  : 200px
77
      height : 200px
78
    img.logo-rectangular
79
      width  : 150px
80
      height : auto
81

82