]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Modified the file to conform to bootstrap standards and fix an IE7 css selector issue
authorGiuliano Velli <wpbrains@giusi.org>
Tue, 24 Apr 2012 15:23:14 +0000 (17:23 +0200)
committerGiuliano Velli <giuliano@giusi.org>
Fri, 7 Sep 2012 07:59:52 +0000 (09:59 +0200)
Signed-off-by: Giuliano Velli <giuliano@giusi.org>
1  2 
less/media.less

diff --cc less/media.less
index 87ea1bc1e4dd35b78682f11f5ec5aa08d5b9110d,87ea1bc1e4dd35b78682f11f5ec5aa08d5b9110d..dbcc212a06955077a4be29e222decbd587d3a6a8
@@@ -1,68 -1,68 +1,69 @@@
  // COMMON STYLES
  // -------------
  
--.media, .media-body {
--      overflow:hidden;
--      *overflow:visible;
--      zoom:1;
++.media, 
++.media-body {
++  overflow: hidden;
++  *overflow: visible;
++  zoom: 1;
  }
  .media {
--      margin-bottom: 10px;
++  margin-bottom: 10px;
  }
  .media .media {
--      margin-top: 20px;
++  margin-top: 20px;
  }
  .media .pull-left {
--      margin-right: 10px;
++  margin-right: 10px;
  }
  .media .pull-right {
--      margin-left: 10px;
++  margin-left: 10px;
  }
  .media .media-object {
--      display: block;
++  display: block;
  }
  
  // Media list
  .medias {
--      margin-top: 20px;
--      margin-left: 0;
--      list-style-type: none;
++  margin-top: 20px;
++  margin-left: 0;
++  list-style-type: none;
  }
  .medias .media {
--      padding-bottom: 10px;
--      border-bottom: 1px solid rgba(0, 0, 0, .07);
++  padding-bottom: 10px;
++  border-bottom: 1px solid rgba(0,0,0,.07);
  }
--.medias > .media:last-child {
--      margin: 0;
--      border-bottom: none;
++.medias > .media.last {
++  margin: 0;
++  border-bottom: none;
  }
  .medias > .media .media {
--      margin-bottom: 0;
--      padding-bottom: 0;
--      border-bottom: none;
++  margin-bottom: 0;
++  padding-bottom: 0;
++  border-bottom: none;
  } 
  
  // Media box
  .media-box {
--      margin-bottom: 19px;
--      padding: 10px;
--      background-color: #fff;
--      border: 1px solid rgba(0,0,0,.09);
--      .border-radius(4px);
--      .box-shadow(1px 1px 2px rgba(0, 0, 0, 0.1));
++  margin-bottom: 19px;
++  padding: 10px;
++  background-color: #fff;
++  border: 1px solid rgba(0,0,0,.09);
++  .border-radius(4px);
++  .box-shadow(1px 1px 2px rgba(0,0,0,.1));
  }
  
  @media (max-width: 480px) {
--    .media .pull-left,
--    .media .pull-right  {
--      float: none;
--      display: block;
--      margin-bottom: 10px;
--    }
--    .media .pull-left {
--        margin-right: 0;    
--    }
--    .media .pull-right {
--        margin-left: 0;    
--    }
++.media .pull-left,
++.media .pull-right  {
++  float: none;
++  display: block;
++  margin-bottom: 10px;
++}
++.media .pull-left {
++  margin-right: 0; // we stack the components so the indent is not needed anymore 
++}
++.media .pull-right {
++  margin-left: 0; // we stack the components so the indent is not needed anymore 
++}
  }