Check-in [9c0eace5aa]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Some additional styles for rendering of derivations.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:9c0eace5aac265fd234ccae2a56be4fad6733781
User & Date: andy 2015-04-15 21:37:20
Context
2015-04-15
21:37
Updated to use the new inductive (vertical-bar) goal encoding. check-in: 5f036d068a user: andy tags: trunk
21:37
Some additional styles for rendering of derivations. check-in: 9c0eace5aa user: andy tags: trunk
21:36
Changed the encoding for inductive goals from \size to |size. The backslash was getting lost in the string encoding in some places. check-in: 23db977deb user: andy tags: trunk
Changes
Hide Diffs Unified Diffs Show Whitespace Changes Patch

Changes to res/base.css.

40
41
42
43
44
45
46

47
48
49
50
51
52
53
..
66
67
68
69
70
71
72
















73
74
75
76
77
78
79
..
90
91
92
93
94
95
96





97
98
99
100
101

table.rule caption {
  caption-side: left;
  vertical-align: middle;
  font-size: 10pt;
  margin-right: 2px;
  font-variant: small-caps;

}

table.rule tr { 
  border: solid;
  border-width: 1px 0;
}

................................................................................
table.rule span.MathJax {
    margin-left: .5em;
    margin-right: .5em;
}

.premise, .conclusion {
  border-radius: 4px;
















}

.rule-premise {
  margin-left: 1em;
  margin-right: 1em;
}

................................................................................
  font-size: 12pt;
}

sub {
  vertical-align: sub;
  font-size: 10pt;
}






.cline, .pline {
  line-height: 1.5;
}








>







 







>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>







 







>
>
>
>
>





40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
..
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
...
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123

table.rule caption {
  caption-side: left;
  vertical-align: middle;
  font-size: 10pt;
  margin-right: 2px;
  font-variant: small-caps;
  color: gray;
}

table.rule tr { 
  border: solid;
  border-width: 1px 0;
}

................................................................................
table.rule span.MathJax {
    margin-left: .5em;
    margin-right: .5em;
}

.premise, .conclusion {
  border-radius: 4px;
  cursor: default;
}

.premise:hover, .conclusion:hover {
  background: #E3ECF2;

  /* preventDefault in the event handler doesn't prevent Firefox from 
     selecting text on double-click. This does. */
  -moz-user-select: none;
}

/* On disjunctive conclusions we inhibit hover highlighting, as this will be
   handled by the code. In the future, all highlighting will probably be 
   handled through code rather than through CSS. */
.conclusion.or:hover {
  background: inherit;
}

.rule-premise {
  margin-left: 1em;
  margin-right: 1em;
}

................................................................................
  font-size: 12pt;
}

sub {
  vertical-align: sub;
  font-size: 10pt;
}

.ind-up, .ind-down {
  vertical-align: super;
  font-size: 10pt;
}

.cline, .pline {
  line-height: 1.5;
}