doc/webdeveloper/stylesheets/display_table_information.css

   1 @import url("imports/tooltips.css");
   2
   3 div.webdeveloper-display-table-information
   4 {
   5         margin: 5px !important;
   6 }
   7
   8 div.webdeveloper-display-table-information, div.webdeveloper-display-table-information dd, div.webdeveloper-display-table-information dl, div.webdeveloper-display-table-information dt, div.webdeveloper-display-table-information p
   9 {
  10     padding: 0 !important;
  11 }
  12
  13 div.webdeveloper-display-table-information dd, div.webdeveloper-display-table-information dl, div.webdeveloper-display-table-information p
  14 {
  15     margin: 0 !important;
  16 }
  17
  18 div.webdeveloper-display-table-information dt
  19 {
  20     font-weight: bold !important;
  21     margin: 0 0 5px 0 !important;
  22 }