style: do not word wrap in pre blocks

This commit is contained in:
James Taylor
2013-09-11 15:47:26 -04:00
parent 64ed51014c
commit c9e4069f2c
3 changed files with 15 additions and 4 deletions
+3 -1
View File
@@ -106,4 +106,6 @@ if not hasattr( logging, 'NullHandler' ):
class NullHandler( logging.Handler ):
def emit( self, record ):
pass
logging.NullHandler = NullHandler
logging.NullHandler = NullHandler
import galaxy.eggs
+1
View File
@@ -752,6 +752,7 @@ button.close{padding:0;cursor:pointer;background:transparent;border:0;-webkit-ap
.text-hide{font:0/0 a;color:transparent;text-shadow:none;background-color:transparent;border:0}
.affix{position:fixed}
.navbar-fixed-top .navbar-brand{font-family:Verdana;font-weight:bold;font-size:160%}
pre{overflow:auto;word-wrap:normal;white-space:pre}
.btn.active,.btn:active{color:inherit}
.dropdown-menu{max-width:auto}
input[type="checkbox"],input[type="radio"]{margin-left:0.5ex;margin-right:0.5ex}
@@ -1,9 +1,17 @@
.navbar-fixed-top .navbar-brand {
font-family: Verdana;
font-weight: bold;
font-size: 160%;
font-family: Verdana;
font-weight: bold;
font-size: 160%;
}
// Don't wrap text inside pre
pre {
overflow: auto;
word-wrap: normal;
white-space: pre;
}
.btn.hover {
@btn:hover();
}