Changes

distinguish pre, code, & tt styles
Line 7: Line 7:  
}
 
}
   −
code, pre, tt {
+
pre {
 +
  background-color: #fbfbfb;
 
   font-size: 115%;
 
   font-size: 115%;
 
   line-height: 1.26em;
 
   line-height: 1.26em;
 
   overflow: auto;
 
   overflow: auto;
 
}
 
}
 +
code {
 +
  background-color: #FFFFFF;
 +
  border: 1px dotted #e6e6e6;
 +
  font-size: 115%;
 +
  line-height: 1.26em;
 +
  overflow: auto;
 +
}
 +
tt {
 +
  background-color: #FFFFFF;
 +
  font-size: 115%;
 +
  line-height: 1.26em;
 +
  overflow: auto;
 +
}
 +
 
#p-Google_translations.portlet li,
 
#p-Google_translations.portlet li,
 
#p-Google_translations.portal li {
 
#p-Google_translations.portal li {