2020-01-21 15:35:58 +09:00
|
|
|
<style>
|
2023-01-27 17:11:10 -06:00
|
|
|
.runtime-label {
|
|
|
|
|
position: relative;
|
|
|
|
|
white-space: nowrap
|
|
|
|
|
}
|
2020-01-21 15:35:58 +09:00
|
|
|
|
2023-01-27 17:11:10 -06:00
|
|
|
.tooltipped:after {
|
|
|
|
|
text-align: left
|
|
|
|
|
}
|
2020-01-21 15:35:58 +09:00
|
|
|
|
2023-01-27 17:11:10 -06:00
|
|
|
td.ping {
|
|
|
|
|
white-space: nowrap
|
|
|
|
|
}
|
2020-01-21 15:35:58 +09:00
|
|
|
</style>
|
