body {
  padding-top: 10px;
  padding-left: 30px;
    padding-right: 30px;
  padding-bottom: 20px;
}

.jumbotron {
  padding-top: 10px;
  padding-left: 30px;
    padding-right: 30px;
  padding-bottom: 20px;
}

.theme-dropdown .dropdown-menu {
  position: static;
  display: block;
  margin-bottom: 20px;
}

.theme-showcase > p > .btn {
  margin: 5px 0;
}

.theme-showcase .navbar .container {
  width: auto;
}

pre {
	white-space: pre-line;
	width: 300px;
	}