Nota: Após publicar, você pode ter que limpar o "cache" do seu navegador para ver as alterações.

  • Firefox / Safari: Pressione Shift enquanto clica Recarregar, ou pressione Ctrl-F5 ou Ctrl-R (⌘-R no Mac)
  • Google Chrome: Pressione Ctrl-Shift-R (⌘-Shift-R no Mac)
  • Edge: Pressione Ctrl enquanto clica Recarregar, ou pressione Ctrl-F5.
  • Opera: Pressione Ctrl-F5.

body {
    background: #efefef;
}

#content {
    background: #fff;
    border-radius: 4px;
    border: 1px solid #ddd;
    padding-bottom: 10px;
}

h1, .h1, h2, .h2, h3, .h3 {
    margin: 25px 0;
}

/* .form-control {
    height: 35px;
}
*/

.p-personal, .p-search {
    margin: 10px;
}

.p-contentnavigation {
    margin: 0;
}

div#toc {
    float: right;
    clear: both;
    max-width: 300px;
    border: 1px solid #eee;
    border-radius: 4px;
    padding: 10px;
    margin:5px;
}