1 .cline,.wrong_cline,.interrupted_cline,.output,.wrong_output,.interrupted_output,.tab_cline, ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline

2 {

3 margin : 0px 0px 0px 0px;

4 padding : 0px 0px 0px 10px;

5 vertical-align : top;

6 }

7 .cline,.wrong_cline,.interrupted_cline,.tab_cline,._root_cline,.wrong_root_cline,.interrupted_root_cline,.tab_root_cline

8 { font-weight : bold; }

9 .wrong_output,.wrong_root_output

10 { color : #cc6666; }

11 .interrupted_output,.interrupted_root_output

12 { color : #aaaaaa; }

13 .wrong_cline, .wrong_root_cline

14 { color : #ee7777; }

15 .interrupted_cline, .interrupted_root_cline

16 { color : #777777; }

17

18 ._root_cline,.wrong_root_cline,.interrupted_root_cline,._root_output,.wrong_root_output,.interrupted_root_output,.tab_root_cline

19 {

20 border-left : #ff0000 solid thin;

21

22 }

23

24 .note {

25 color : black;

26 background : #d8fcff;

27 margin : 12px 12px 12px 12px;

28 padding : 6px 6px 6px 6px;

29 border-style : dashed;

30 border-width : thin;

31 border-color : #a8eaff;

32 vertical-align : top;

33 }

34

35 .note_title,.note_text,.note_search

36 {

37 color : black;

38 margin : 0px 0px 0px 0px;

39 padding : 0px 0px 0px 0px;

40 vertical-align : top;

41 }

42 .note_title { font-family : sans-serif; }

43 .note_text { font-size : 80%; }

44 .note_search { text-align : right; }

45

46

47 .diff {

48 color : black;

49 background : #fdffcd;

50 margin : 16px 16px 16px 16px;

51 padding : 6px 6px 6px 6px;

52 border-style : dashed;

53 border-width : thin;

54 }

55

56 .ttychange {

57 color : #9a9a9a;

58 background : #e7e7e7;

59 margin : 0px 0px 0px 0px;

60 padding : 0px 0px 0px 0px;

61 vertical-align : top;

62 font-family : monospace;

63 }

64

65 .time {

66 color : #999999;

67 margin : 0px 0px 0px 0px;

68 padding : 0px 10px 0px 0px;

69 vertical-align : top;

70 font-size : 80%;

71 vertical-align : top;

72 /* border-right : #9a9a9a solid thin; */

73 }

74

75 .script {

76 margin : 0px 0px 0px 0px;

77 padding : 0px 0px 0px 0px;

78 vertical-align : top;

79 }

80

81 .visibility_form {

82 color : #9a9a9a;

83 background : #e7e7e7;

84 margin : 0px 0px 0px 0px;

85 padding : 0px 0px 0px 0px;

86 vertical-align : top;

87 font-size : 80%;

88 font-family : sans-serif;

89 }