/* Publications: Minor modifications to the standard bootstrap CSS. */

/* Text */
.pre    {white-space: pre; }
.nobr   {white-space: nowrap; }
.number {text-align: right; font-family: monospace; }

/* Label */
.label-custom {margin: 10px;
	       text-align: left;
	       white-space: normal; }

/* Various */
.top       {vertical-align: top; }
.left      {text-align: left; }
.right     {text-align: right; }
.margin-r1 {margin-right: 1em; }
.badge-p   {padding: 0.3em 1em; }
.vcompress {margin-top: 0; margin-bottom: 0; }