- Timestamp:
- Jan 3, 2017 9:50:35 PM (8 years ago)
- Location:
- trunk/src/VBox/ValidationKit/testmanager
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/VBox/ValidationKit/testmanager/htdocs/css/common.css
r65089 r65090 352 352 #side-filters dd { 353 353 font-size: 0.82em; 354 } 355 #side-filters li { 356 line-height: 0.7em; 357 } 358 354 font-family: "Arial Narrow", Arial, sans-serif; 355 font-weight: normal; 356 } 357 358 #side-filters li, #side-filters input[type=checkbox], #side-filters p { 359 line-height: 0.9em; 360 vertical-align: text-bottom; 361 } 359 362 360 363 #side-filters input[type=checkbox] { 361 364 margin-right: 0.20em; 362 vertical-align: middle;363 365 width: 1.0em; 364 366 height: 1.0em; 365 367 } 366 @supports(-moz-appearance:meterbar) { /* Mozilla hack for saving vertical space */368 @supports(-moz-appearance:meterbar) { 367 369 #side-filters input[type=checkbox] { 368 vertical-align: bottom;370 /* not currently used */ 369 371 } 370 372 } 371 373 @media all and (-ms-high-contrast: none), (-ms-high-contrast: active) { /* IE 10+ specific tweaks */ 372 374 #side-filters input[type=checkbox] { 373 vertical-align: bottom;374 375 width: 1.1em; 375 376 height: 1.1em; … … 377 378 } 378 379 379 380 380 #side-filters ul { 381 381 max-height: 22em; … … 388 388 } 389 389 .side-filter-count { 390 font-size: 0.72em; 390 font-size: smaller; 391 vertical-align: text-top; 391 392 } 392 393 -
trunk/src/VBox/ValidationKit/testmanager/webui/wuimain.py
r65080 r65090 955 955 oCrit.sVarNm, oDesc.oValue, ' checked' if fChecked else '', 956 956 webutils.escapeElem(oDesc.sDesc), 957 ' <span class="side-filter-count">(%u)</span>' % (oDesc.cTimes) if oDesc.cTimes is not None957 '<span class="side-filter-count"> [%u]</span>' % (oDesc.cTimes) if oDesc.cTimes is not None 958 958 else '', ); 959 959
Note:
See TracChangeset
for help on using the changeset viewer.