Merge with 3.2.

This commit is contained in:
Georg Brandl 2011-12-04 11:51:33 +01:00
commit 4d5232ab8a

View file

@ -8,8 +8,8 @@ $(document).ready(function() {
// get the styles from the current theme
pre.parent().parent().css('position', 'relative');
var hide_text = 'Hide the prompts and ouput';
var show_text = 'Show the prompts and ouput';
var hide_text = 'Hide the prompts and output';
var show_text = 'Show the prompts and output';
var border_width = pre.css('border-top-width');
var border_style = pre.css('border-top-style');
var border_color = pre.css('border-top-color');