title: How to put a label on a vertical line above the end of the line?
body: <p>I did a graph with <em>ggplot</em>. My aim is to add labels at the top of the vertical lines I put in the graph. The problem is that these labels appear not above enough. They intersect the vertical line. Instead, I would like them not to touch the vertical lines.</p>
  
  <p>For instance:</p>
  
  <pre><code> date &lt;- seq(2000, 2010, by = 1)
   value &lt;- seq(1, 11, by=1)
   df &lt;- data.frame(Date = date, Value = value) 
  
   ggplot(df, aes(x = df$Date)) + geom_line(aes(y = df$Value, colour = "Value"), size = 1) + theme_classic() + theme(axis.line = element_line(colour = "grey", size = 0.8)) + labs(y = "\n \n", x = "", colour = "") + theme(axis.title = element_text(family = "Times New Roman", face = "plain", size = 12, colour = "black")) +
    geom_vline(xintercept = df$Date[c(3)], linetype="dashed", colour = "black", size=1) + 
    geom_text(aes(x=df$Date[3], y= Inf, label = "Label"), colour = "black", vjust = 1, size = 5) 
  
  </code></pre>
  
  <p>How can I push the label in a way that they don't intersect the dashed lines?</p>
  
  <p>Thanks a lot for your help!</p>