CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
sagemathinc

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

GitHub Repository: sagemathinc/cocalc
 Path: blob/master/src/packages/frontend/_bootstrap.sass
Views: 687
1
/*

2
 *  This file is part of CoCalc: Copyright © 2020 Sagemath, Inc.

3
 *  License: MS-RSL – see LICENSE.md for details

4
 */

5


6


7
// There is a bootstrap css that is setting font-weight for label to 700. This

8
// sets the font-weight back to the normal default:

9
label

10
  font-weight: normal

11


12
// See https://github.com/twitter/bootstrap/issues/2764

13


14
.nav-tabs > .disabled > a, .nav-pills > .disabled > a

15
  color  : #999

16
  cursor : pointer

17
  border : none

18
  // add this for tabs/pills *

19


20
.nav-tabs > .disabled > a:hover,

21
.nav-pills > .disabled > a:hover

22
  background-color : transparent

23


24
// Bootstrap changes the background color and puts a border around any pre.

25
// This is annoying, especially because, e.g., the @uiw/react-textarea-code-editor

26
// code editor uses a pre.

27
pre

28
  border: inherit

29
  background: inherit

30


31


32
.smc-toggle-show

33
  border-bottom : 1px solid grey

34


35
#cocalc-idle-notification

36
  z-index    : 9999

37
  position   : fixed

38
  margin     : 0

39
  padding    : 0

40
  top        : 0

41
  bottom     : 0

42
  left       : 0

43
  right      : 0

44
  background : rgba(150, 150, 150, 0.5)

45
  cursor     : pointer

46
  div

47
    color            : white

48
    position         : absolute

49
    background-color : $COL_BLUE_D

50
    min-height       : 100px

51
    width            : 350px

52
    border-radius    : 5px

53
    padding          : 15px

54
    text-align       : center

55
    position         : absolute

56
    margin           : auto

57
    top              : 100px

58
    left             : 0

59
    right            : 0

60
    cursor           : pointer

61
    h1, h2, h3, h4

62
      color     : white

63
    h1, h2

64
      font-size : 22px

65
    h3

66
      font-size : 20px

67
    h4

68
      font-size : 16px

69
    img.logo-square,

70
    img.logo-rectangular

71
      display: block

72
      margin : 0 auto 10px auto

73
      padding: 0

74
    img.logo-square

75
      width  : 200px

76
      height : 200px

77
    img.logo-rectangular

78
      width  : 150px

79
      height : auto

80


81