.rounded (@radius: 10px) {
  border-radius: @radius;
  -webkit-border-radius: @radius;
  -moz-border-radius: @radius;
}

body {
    margin: 0;
    padding: 0;

    font-size: 12pt;
    font-family: Helvetica Neue, Helvetica, sans-serif;

    strong {
        font-weight: 900;
    }
}

.hidden {
    display: none;
    }

.clearer {
    clear: both;
    float: none;
    width: 100%;
    }
    
#login {    
    h1, h2 {
            font-family: Hoefler Text, Adobe Garamond Pro, Garamond, Times New Roman, Times, serif;
            font-variant: small-caps;
        }
    
    #header {
        border-bottom: 1pt solid white;
        img {
            width: 100px;
            margin-top: -10px;
            padding: 0 10px 0 20px;
        }
        a {
            color: #222;
            text-decoration: none;
        }
    }

    #content {
        padding: 20px;
        a {
            text-decoration: none;
        }
        h3 {
            font-size: 1.6em;
            margin: .5em 0;
            font-weight: bold;
        }

    }
}