Switch to new "lighter" doc design.

This commit is contained in:
Georg Brandl 2012-03-25 20:31:57 +02:00
parent 11ee31ab08
commit ab7121430e
4 changed files with 9 additions and 4 deletions

View file

@ -17,7 +17,8 @@ $(document).ready(function() {
'cursor':'pointer', 'position': 'absolute', 'top': '0', 'right': '0',
'border-color': border_color, 'border-style': border_style,
'border-width': border_width, 'color': border_color, 'text-size': '75%',
'font-family': 'monospace', 'padding-left': '0.2em', 'padding-right': '0.2em'
'font-family': 'monospace', 'padding-left': '0.2em', 'padding-right': '0.2em',
'border-radius': '0 3px 0 0'
}
// create and add the button to all the code blocks that contain >>>