* {
  box-sizing: border-box;
}

body {
    margin: 0px;
    
}


.navbar {
  /*margin-bottom: 20px;*/
}

.navbar-brand img {

    margin-left: 2em;        /* space left */
    margin-right: 2em;
    height: 2em; 
}

.navbar-nav > li{
  padding-left:30px;        /* distance between nav menu items */
  padding-right:30px;
    
}


.std_button a {
    padding: 20px;
    background: #025e77;
    width: max-content;
    border-radius: 5px;
    font-size: xx-large;
    color: white;
    text-decoration: none;
}

.std_button:hover a {
    background: #126e87;
    cursor: pointer;
}

.footer {
  /*width: 100%;*/
  background: #000000;
  padding-left: 2%;
  padding-right: 2%;
  padding-bottom: 10px;
  padding-top: 10px;
}

.footer img {
  height:30px;
}

.footer a:link{
  color: #FFFFFF;
}



:root {
  --main-blue: #025e77;
  --main-green: #008000;
}

.thread_cell {
    border: solid;
    border-radius: 5px;
    padding: 10px;
    margin-bottom: 10px;
    border-color: #999;
    border-width: 1px;
}

.forum_cell {
    border: solid;
    padding: 10px;
    border-color: #999;
    border-width: 1px;
    border-bottom: none;
    background-color: #f1f7fd;
}

.forum_odd_cell {
    border: solid;
    padding: 10px;
    border-color: #999;
    border-width: 1px;
    border-bottom: none;
    background-color: #e2eafd;
}

.forum_last_cell {
    border-bottom: solid;
    border-color: #999;
    border-width: 1px;
}


.forum_cell.preview {
    background-color: #ddd;
}


.small_notes {
    font-size: small;
    margin: 0;
}

.vertical_space {
    height: 3em;
}

.bold {
    font-weight: bold;
}

.full_width {
    width: 100%;
}

.center_form {
    max-width: 600px;
}

.bullet_list {
    list-style-type: square !important;
    padding-left: 1em !important;
    margin-left: 1em;
    margin-top: 1em;
    margin-bottom: 1em;
}

.primary_button {
    background-color: #025e77 !important;
    border-radius: 10px !important;
}

.jupyter_frame {
    border: 1px solid black;
    width: 100%;
    height: 94vh;
}

.blue_back {
    background-color: #0a58ca;
}