Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
gmcninch-tufts
GitHub Repository: gmcninch-tufts/2024-Sp-Math190
 Path: blob/main/css/haddock.css
894 views
1
pre > code.sourceCode { white-space: pre; position: relative; }

2
pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }

3
pre > code.sourceCode > span:empty { height: 1.2em; }

4
code.sourceCode > span { color: inherit; text-decoration: inherit; }

5
div.sourceCode { margin: 1em 0; }

6
pre.sourceCode { margin: 0; }

7
@media screen {

8
div.sourceCode { overflow: auto; }

9
}

10
@media print {

11
pre > code.sourceCode { white-space: pre-wrap; }

12
pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }

13
}

14
pre.numberSource code

15
  { counter-reset: source-line 0; }

16
pre.numberSource code > span

17
  { position: relative; left: -4em; counter-increment: source-line; }

18
pre.numberSource code > span > a:first-child::before

19
  { content: counter(source-line);

20
    position: relative; left: -1em; text-align: right; vertical-align: baseline;

21
    border: none; display: inline-block;

22
    -webkit-touch-callout: none; -webkit-user-select: none;

23
    -khtml-user-select: none; -moz-user-select: none;

24
    -ms-user-select: none; user-select: none;

25
    padding: 0 4px; width: 4em;

26
    color: #aaaaaa;

27
  }

28
pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;  padding-left: 4px; }

29
div.sourceCode

30
  {   }

31
@media screen {

32
pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }

33
}

34
code span.al { color: #ff0000; } /* Alert */

35
code span.an { color: #008000; } /* Annotation */

36
code span.at { } /* Attribute */

37
code span.bu { } /* BuiltIn */

38
code span.cf { color: #0000ff; } /* ControlFlow */

39
code span.ch { color: #008080; } /* Char */

40
code span.cn { } /* Constant */

41
code span.co { color: #008000; } /* Comment */

42
code span.cv { color: #008000; } /* CommentVar */

43
code span.do { color: #008000; } /* Documentation */

44
code span.er { color: #ff0000; font-weight: bold; } /* Error */

45
code span.ex { } /* Extension */

46
code span.im { } /* Import */

47
code span.in { color: #008000; } /* Information */

48
code span.kw { color: #0000ff; } /* Keyword */

49
code span.op { } /* Operator */

50
code span.ot { color: #ff4000; } /* Other */

51
code span.pp { color: #ff4000; } /* Preprocessor */

52
code span.sc { color: #008080; } /* SpecialChar */

53
code span.ss { color: #008080; } /* SpecialString */

54
code span.st { color: #008080; } /* String */

55
code span.va { } /* Variable */

56
code span.vs { color: #008080; } /* VerbatimString */

57
code span.wa { color: #008000; font-weight: bold; } /* Warning */

58


59