File: groove-default.html

package info (click to toggle)
firefox-esr 115.14.0esr-1~deb11u1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 3,659,200 kB
  • sloc: cpp: 6,676,648; javascript: 5,690,850; ansic: 3,328,545; python: 1,120,605; asm: 397,163; xml: 180,531; java: 178,838; sh: 68,930; makefile: 20,999; perl: 12,595; objc: 12,561; yacc: 4,583; cs: 3,846; pascal: 2,840; lex: 1,720; ruby: 1,079; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 54; csh: 10
file content (15 lines) | stat: -rw-r--r-- 590 bytes parent folder | download | duplicates (28) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
<!doctype html>
<title>CSS Test: Groove border with default color should actually show a groove border</title>
<link rel="help" href="https://drafts.csswg.org/css2/box.html#border-style-properties">
<link rel="help" href="https://bugzilla.mozilla.org/show_bug.cgi?id=1488294">
<link rel="author" href="mailto:emilio@crisal.io" title="Emilio Cobos Álvarez">
<link rel="author" href="https://www.mozilla.org" title="Mozilla">
<link rel="mismatch" href="groove-ridge-default-notref.html">
<style>
  div {
    width: 100px;
    height: 100px;
    border: 10px groove;
  }
</style>
<div></div>