@ -1040,16 +1040,10 @@ pre {
}
#options_div {
width: 600px;
height: 360px;
/* width: 620px;
width: 620px;
height: 400px;
resize: both;
overflow: auto;*/
#alert_div {
width: 500px;
@ -1126,7 +1120,8 @@ pre {
display: block;
width: 100%;
height: 100%;
margin-top: 0px;
max-width: 620px;
margin: auto;
.mentioned {