2013-01-17 14:47:38 -08:00
|
|
|
body {
|
2013-07-23 18:14:40 -07:00
|
|
|
padding-top: 40px;
|
2013-01-17 14:47:38 -08:00
|
|
|
}
|
|
|
|
|
2013-07-24 03:37:51 -07:00
|
|
|
th.job_header {
|
|
|
|
font-size: 20px;
|
|
|
|
padding-top: 10px;
|
|
|
|
padding-bottom: 10px;
|
2013-03-25 08:06:36 -07:00
|
|
|
}
|
|
|
|
|
2013-07-24 03:37:51 -07:00
|
|
|
.error_text {
|
|
|
|
padding: 0 4px 0 4px;
|
2013-03-25 08:06:36 -07:00
|
|
|
}
|
2013-04-02 10:14:02 -07:00
|
|
|
|
2013-07-13 10:30:51 -07:00
|
|
|
/*
|
|
|
|
* This reduces the spacing between the bootstrap navbar and the content below.
|
|
|
|
*/
|
|
|
|
div.navbar {
|
|
|
|
margin-bottom: 2px;
|
2013-05-02 05:34:20 -07:00
|
|
|
}
|
2013-05-14 02:21:27 -07:00
|
|
|
|
|
|
|
.literal_output td {
|
|
|
|
font-family: monospace;
|
2013-05-21 06:31:27 -07:00
|
|
|
}
|