Check-in [6feebbe110]

Not logged in

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

Overview
Comment:Removed hover styles from premise/conclusion classes (this should be handled in JS, so that it can be disabled when the proof is complete).
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | bc-subst
Files: files | file ages | folders
SHA1:6feebbe110b759972d50d53d5e55db45e21090c2
User & Date: andy 2015-04-21 16:25:50
Context
2015-04-21
16:26
Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof. check-in: ec0abfb8eb user: andy tags: bc-subst
16:25
Removed hover styles from premise/conclusion classes (this should be handled in JS, so that it can be disabled when the proof is complete). check-in: 6feebbe110 user: andy tags: bc-subst
16:25
Added proof demo example. check-in: 018383954d user: andy tags: bc-subst
Changes
Hide Diffs Unified Diffs Show Whitespace Changes Patch

Changes to res/base.css.

71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

.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







|







71
72
73
74
75
76
77
78
79
80
81
82
83
84
85

.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