##// END OF EJS Templates
wider style for keyboard shortcuts
Paul Ivanov -
Show More
@@ -1,6 +1,6 b''
1 .shortcut_key {
1 .shortcut_key {
2 display: inline-block;
2 display: inline-block;
3 width: 15ex;
3 width: 16ex;
4 text-align: right;
4 text-align: right;
5 font-family: @monoFontFamily;
5 font-family: @monoFontFamily;
6 }
6 }
@@ -1511,7 +1511,7 b' ul#help_menu li a{overflow:hidden;padding-right:2.2em}ul#help_menu li a i{margin'
1511 div#pager_splitter{height:8px}
1511 div#pager_splitter{height:8px}
1512 #pager-container{position:relative;padding:15px 0}
1512 #pager-container{position:relative;padding:15px 0}
1513 div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{font-size:13px;line-height:1.21429em;color:#000;background-color:#f7f7f7;padding:.4em}
1513 div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{font-size:13px;line-height:1.21429em;color:#000;background-color:#f7f7f7;padding:.4em}
1514 .shortcut_key{display:inline-block;width:15ex;text-align:right;font-family:monospace}
1514 .shortcut_key{display:inline-block;width:16ex;text-align:right;font-family:monospace}
1515 .shortcut_descr{display:inline-block}
1515 .shortcut_descr{display:inline-block}
1516 span#save_widget{padding:0 5px;margin-top:12px}
1516 span#save_widget{padding:0 5px;margin-top:12px}
1517 span#checkpoint_status,span#autosave_status{font-size:small}
1517 span#checkpoint_status,span#autosave_status{font-size:small}
General Comments 0
You need to be logged in to leave comments. Login now