#dialog-vertex, #dialog-edge{ | |
padding: 8px; | |
user-select: auto; | |
} | |
#dialog h2 { | |
font-weight: bold; | |
font-size: 20px; | |
} | |
#dialog h3 { | |
font-weight: bold; | |
font-size: 16px; | |
margin-bottom: 0; | |
} | |
#quit-dialog, #quit2-dialog { | |
position: absolute; | |
top: 8px; | |
right: 8px; | |
} | |
#min-dialog, #max-dialog { | |
position: absolute; | |
top: 8px; | |
right: 48px; | |
} | |
#min-dialog { | |
display: none; | |
} | |
#summary-dialog { | |
position: absolute; | |
top: 0px; | |
left: 0px; | |
width: 100%; | |
height: 100px; | |
background-color: white; | |
color: black; | |
z-index: 120; | |
} | |
#summary-vertex { | |
padding: 8px; | |
user-select: auto; | |
} | |
#summary-dialog h2 { | |
font-weight: bold; | |
font-size: 20px; | |
margin: 0; | |
} |